C++ 模板成员函数已定义为相同类型
C++ template member function already defined with same type
我在下面有这个简单的代码,一个带有 2 个类型参数的模板。如果我用相同的类型(如 BidirectionalMap<int,int>
)声明我的 class,我会收到一个错误:
int BidirectionalMap<T,S>::operator [](T) const' : member function already defined or declared
这是我的模板代码:
template <class T, class S>
class BidirectionalMap{
int count(T t){
return 1;
}
int count(S s){
return 1;
}
};
你得到的错误是正常的,因为替换后你有
template <>
class BidirectionalMap<int, int>
{
int count(int t){ return 1; }
int count(int s){ return 1; } // Duplicated method
};
要解决这个问题,您可以提供部分专业化:
template <class T>
class BidirectionalMap<T, T>
{
int count(T t) { return 1; }
};
在 C++20 中,您可以使用 requires
到 "discard" 方法:
template <class T, class S>
class BidirectionalMap
{
int count(T t) requires(!std::is_same<T, S>::value) { /*..*/ }
int count(S s) requires(!std::is_same<T, S>::value) { /*..*/ }
int count(T t) requires( std::is_same<T, S>::value) { /*..*/ }
};
我在下面有这个简单的代码,一个带有 2 个类型参数的模板。如果我用相同的类型(如 BidirectionalMap<int,int>
)声明我的 class,我会收到一个错误:
int BidirectionalMap<T,S>::operator [](T) const' : member function already defined or declared
这是我的模板代码:
template <class T, class S>
class BidirectionalMap{
int count(T t){
return 1;
}
int count(S s){
return 1;
}
};
你得到的错误是正常的,因为替换后你有
template <>
class BidirectionalMap<int, int>
{
int count(int t){ return 1; }
int count(int s){ return 1; } // Duplicated method
};
要解决这个问题,您可以提供部分专业化:
template <class T>
class BidirectionalMap<T, T>
{
int count(T t) { return 1; }
};
在 C++20 中,您可以使用 requires
到 "discard" 方法:
template <class T, class S>
class BidirectionalMap
{
int count(T t) requires(!std::is_same<T, S>::value) { /*..*/ }
int count(S s) requires(!std::is_same<T, S>::value) { /*..*/ }
int count(T t) requires( std::is_same<T, S>::value) { /*..*/ }
};