c++ - 为什么这个奇怪的重复出现的模板模式示例不能编译？

Question

我相信这是奇怪的重复模板模式的一个例子。在我看来，这应该可以编译，但事实并非如此。这是 Xcode 8.3 中的 Clang。

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 ) );
}

这似乎应该可行，因为 Blarg 是一个 Fungeable。但我收到错误 '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 以来第一个版本不应该工作吗？根据定义，是 Fungeable<Blarg> ？

Answer 1

协变参数类型在 C++ 中没有，从来没有，而且很可能永远不会工作。您可能认为您的示例“显然”是安全的。但该功能通常是不安全的，添加对如此小的用例的支持不会发生。

举例说明:

struct food {};
struct grass : food {};

struct animal {
  virtual void eat(food&) = 0;
};

void feed(animal& a) {
  a.eat(grass{});
}

到目前为止一切顺利。现在，让我们向层次结构添加更多内容，假设我们有协变参数类型:

struct meat : food {};

struct lion : animal {
  void eat(meat&) {/*...*}
};

当我将 lion 对象传递给 feed 时会发生什么？它不能将草当作食物来处理，但它是一种动物。这违反了 Liskov 替换原则。