我有一个模板方法foo
。我希望有几种不同的实现:对于T
、vector<T>
和vector<vector<T>>
,其中T
是内置类型或一些复杂的类。我想使用SFINAE来分离内置类型和类的实现,并限制一组允许的类型。
以下代码工作正常,但我收到警告消息:
8:37: warning: inline function 'constexpr bool isType() [with T =
std::vector<int>]' used but never defined
8:37: warning: inline function 'constexpr bool isType() [with T =
std::vector<std::vector<int> >]' used but never defined
#include <type_traits>
#include <vector>
using namespace std;
class ComplexClass{};
template<typename T> constexpr bool isType();
template<> constexpr bool isType<int>() {return true;}
template<> constexpr bool isType<ComplexClass>() {return false;}
template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(T& value) {}
template <typename T>
inline typename enable_if<!isType<T>(), void>::type
foo(T& value) {}
template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(vector<T>& value) {}
template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(vector<vector<T>>& value) {}
int main()
{
int a;
vector<int> b;
vector<vector<int>> c;
ComplexClass d;
char e;
foo(a);
foo(b);
foo(c);
foo(d);
// foo(e); // has to lead to an error
return 0;
}
看起来编译器试图将vector<...>
传递给第一个enable_if
方法,但失败了。但是跳过这些方法是很棒的,因为我们有更好的vector<T>
和vector<vector<T>>
候选方法。有可能这样做吗?
https://stackoverflow.com/questions/56445427
复制相似问题