Question

我编写了以下代码，旨在允许我的类mytype在编译时选择是使用C样式数组还是C ++ STL数组，如下所示：

#include<array>
#include<cassert>

template<bool IsTrue, typename IfTrue, typename IfFalse>
struct choose;

template<typename IfTrue, typename IfFalse>
struct choose<true, IfTrue, IfFalse> {
    typedef IfTrue type;
};

template<typename IfTrue, typename IfFalse>
struct choose<false, IfTrue, IfFalse> {
    typedef IfFalse type;
};

template<bool ArrayIsRaw>
struct mytype {
    typedef typename choose<ArrayIsRaw, int[50], std::array<int, 50>>::type array_t;
    array_t data{};
};

int main() {
    mytype<true> raw_version;
    mytype<false> stl_version;
    raw_version.data[5] = 15;
    stl_version.data[15] = 5;
    raw_version.data[10] = stl_version.data[15];
    assert(raw_version.data[10] == 5);
    return 0;
}

这很好用。但是，我想在这个类中添加一个相等运算符，它与所涉及的基础类型无关：基本上，我希望raw_version == stl_version是有效的可编译代码，如果每个元素相同，它将返回true。

但是当我将以下代码添加到我的类定义中时：

template<bool Raw1, bool Raw2>
friend bool operator==(mytype<Raw1> const& a, mytype<Raw2> const& b) {
    for(size_t i = 0; i < 50; i++) if(a.data[i] != b.data[i]) return false;
    return true;
}

我收到以下错误：

prog.cpp: In instantiation of ‘struct mytype<false>’:
prog.cpp:32:16:   required from here
prog.cpp:24:14: error: redefinition of ‘template<bool Raw1, bool Raw2> bool operator==(const mytype<Raw1>&, const mytype<Raw2>&)’
  friend bool operator==(mytype<Raw1> const& a, mytype<Raw2> const& b) {
              ^~~~~~~~
prog.cpp:24:14: note: ‘template<bool Raw1, bool Raw2> bool operator==(const mytype<Raw1>&, const mytype<Raw2>&)’ previously defined here

我需要做些什么才能解决此错误？

Answer 1

通过将operator==的两个参数模板化，您正在为mytype<true>和mytype<false>重新定义这个确切的函数模板。只需从第一个（或第二个，但不是两个）参数中删除模板，使其工作：

template<bool Raw2>    
friend bool operator==(mytype const& a, mytype<Raw2> const& b) {    
    // ...   
}

您的choose似乎只是std::conditional的一种实现，而您可以改为

using array_t = typename std::conditional<ArrayIsRaw, int[50], std::array<int, 50>>::type;

或c ++ 14

using array_t = std::conditional_t<ArrayIsRaw, int[50], std::array<int, 50>>;

模板类的模板化等式运算符无法编译

1 个答案: