Question

我正在尝试使用std::reference_wrapper为这些类创建一个多态向量：

struct Int2TypeBase{
    virtual void which(){ std::cout << "Int2TypeBase" << "\n";}
};


template <int v>
struct Int2Type : public Int2TypeBase
{
    enum
    {
        value = v
    };

    void which(){ std::cout << "Int2Type<" << value  << ">""\n";}

    friend bool operator==(const Int2Type& lhs, const Int2Type& rhs){
        return lhs.v == rhs.v;
    }
};

现在我正试图像这样使用std::reference_wrapper：

int main(){
    using namespace std;

    std::vector<std::reference_wrapper<Int2TypeBase>> v;

    Int2Type<0> i2t_1;
    v.emplace_back(i2t_1);

    auto x = v[0];
    x.get().which();

    std::cout << typeid(x.get()).name() << "\n";

    // std::cout << (x.get() == i2t_1) << "\n";
}

输出结果为：

Int2Type<0>
8Int2TypeILi0EE

这就是我所期望的。

然而，现在，当我取消注释std::cout << (x.get() == i2t_1) << "\n";时，我会得到

invalid operands to binary expression ('Int2TypeBase' and 'Int2Type<0>')

这让我感到困惑，因为typeid(x.get()).name()返回8Int2TypeILi0EE而不是F12Int2TypeBasevE，这是我typeid(Int2TypeBase()).name();获得的。此外，还为派生类调用了which() ...那么为什么x.get()中的x.get() == i2t_1会评估为Int2TypeBase？

Answer 1

您的比较运算符仅为派生类定义，但引用包装器生成（静态）类型Int2Base，因此重载解析甚至不会找到您的比较运算符！

您可能需要的是表单

的比较运算符

bool operator==(const Int2TypeBase& lhs, const Int2TypeBase& rhs)

但是你还需要进行某种多态分派来执行实际比较（大概是假设动态类型匹配）。

Answer 2

在编译时，编译器只能告诉x.get（）的类型是Int2TypeBase，因为声明你可以在那里放置任何Int2TypeBase。所以在编译时，它无法确定==运算符是否可行。

在运行时，放在集合中的对象引用它们的完整类型，因此typeid返回您期望的内容并调用正确的虚函数。

std :: reference_wrapper和多态容器

2 个答案: