我有一个模板
template<size_t N>
class Foo {
int bar(int a) {
if (N == 0)
return 0;
return a / N;
}
}
当我用0实例化它
Foo<0> bar;
gcc太聪明了,在编译时报告除零
我试过了
class Foo<size_t N> {
template<size_t M>
int bar(int a) {
return a / N;
}
template<>
int bar<0>(int a) {
return 0;
}
};
但这给了我错误：
解决方法
您可以为Foo< 0>创建模板特化.
template <>
class Foo<0> {
public:
bool bar () { return true; }
};
如果您只想单独使用bar解决问题,而不是触及Foo的任何其他部分,则可以创建一个伴随方法来避免此问题：
template <size_t N>
class Foo
{
bool bar(int n) {
if (n == 0) return true;
return 5 / n == 1;
}
public:
bool bar() { return bar(N); }
};
或者将该方法的实现拉出到自己的类中,并将其专门化：
template <size_t N>
class Bar
{
public:
bool operator() const { return 5 / N == 1; }
};
template <>
class Bar<0>
{
public:
bool operator() const { return true; }
};
template <size_t N>
class Foo {
bool bar() { return Bar<N>()(); }
};
或者,您可以使用Jarod42的建议,并专门化该方法本身(这里重申的答案是完整性).
template <size_t N>
class Foo
{
public:
bool bar() { return 5 / N == 1; }
};
template <> inline bool Foo<0>::bar() { return true; }
