为什么这个奇怪的循环模板模式示例不编译?

template<class T>
class Fungeable
{
public:
    virtual ~Fungeable() {}
    virtual bool funge( const Fungeable<T>& inFungeable ) const = 0;
};

class Blarg : public Fungeable<Blarg>
{
public:
    virtual bool funge( const Blarg& inFungeable ) const override { return true; }
};

int main(int argc, const char * argv[]) {
    Blarg b;
    Blarg x;
    return static_cast<int>( b.funge( x ) );
}

看起来这应该行得通,因为布拉格 是一个 'funge' marked 'override' but does not override any member functions

Blarg::funge() 采取行动 Fungeable<Blarg>

class Blarg : public Fungeable<Blarg>
{
public:
    virtual bool funge( const Fungeable<Blarg>& inFungeable ) const override { return true; }
};

然后编译。

Blarg 根据定义,是 可替换<布拉格> ?