有没有一种方法可以创建一个接受 int 模板参数的函数，如果传递给函数的值小于 10，则让该函数给出编译时错误？
以下代码不起作用，但它显示了我想要完成的任务：
template <int number1>
void reportErrorIfLessThan10()
{
#if(number1 < 10)
#error the number is less than 10
#endif
}
int maint(int argc, char**argv)
{
reportErrorIfLessThan10<5>();//report an error!
reportErrorIfLessThan10<12>();//ok
return 0;
}
【问题讨论】：
标签： c++ templates metaprogramming
如果你不想要 Boost C++ Libraries 魔法并且想要裸露的骨头......
template<bool> class static_check
{
};
template<> class static_check<false>
{
private: static_check();
};
#define StaticAssert(test) static_check<(test) != 0>()
然后使用静态断言。这对我来说是一个#define，因为我的代码需要在很多 C++ 不适用于模板的环境中运行，我需要将其退回到运行时断言。 :(
另外，不是最好的错误消息。
【讨论】：
如果由于某种原因你不能使用 Boost，这个例子可以简单地写成这样：
template <int number1>
void reportErrorIfLessThan10()
{
typedef char number1_gt_10[number1 > 10 ? 1 : -1];
}
int maint(int argc, char**argv)
{
reportErrorIfLessThan10<5>();//report an error!
reportErrorIfLessThan10<12>();//ok
return 0;
}
或者更通用的
#define static_assert(test, message) typedef char static_assert_at_ ## __LINE__[(test) ? 1 : -1];
我没有连接错误消息本身，因为我觉得static_assert(true, "some message"); 比static_assert(true, some_message); 更具可读性。但是，这确实将用例限制为每行只有一个断言。
【讨论】：
template <int number1>
typename boost::enable_if_c< (number1 >= 10) >::type
reportErrorIfLessThan10() {
// ...
}
上面的enable_if，没有_c，因为我们有一个普通的布尔值，看起来像这样：
template<bool C, typename T = void>
struct enable_if {
typedef T type;
};
template<typename T>
struct enable_if<false, T> { };
Boost 的enable_if 不采用纯布尔值，因此他们有另一个附加了 _c 的版本，它采用纯布尔值。您将无法为 number1 SFINAE 将排除该模板作为可能的候选对象，因为如果条件评估为 @，enable_if 将不会公开类型 ::type 987654330@。如果你想，出于某种原因，在函数中测试它，那么如果你有C++1x 功能可用，你可以使用static_assert：
template <int number1>
void reportErrorIfLessThan10() {
static_assert(number >= 10, "number must be >= 10");
}
如果没有，你可以使用 BOOST_STATIC_ASSERT：
template <int number1>
void reportErrorIfLessThan10() {
BOOST_STATIC_ASSERT(number >= 10);
}
不过，显示描述性消息的唯一方法是使用 static_assert。您可以或多或少地模拟这一点，使用具有描述错误条件的名称的类型：
namespace detail {
/* chooses type A if cond == true, chooses type B if cond == false */
template <bool cond, typename A, typename B>
struct Condition {
typedef A type;
};
template <typename A, typename B>
struct Condition<false, A, B> {
typedef B type;
};
struct number1_greater_than_10;
}
template <int number1>
void reportErrorIfLessThan10() {
// number1 must be greater than 10
sizeof( typename detail::Condition< (number1 >= 10),
char,
detail::number1_greater_than_10
>::type );
}
它在这里打印：
错误：“sizeof”对不完整类型“detail::number1_greater_than_10”的无效应用
但我认为第一种方法，使用enable_if 就可以了。您将收到关于未声明的reportErrorIfLessThan10 的错误消息。
【讨论】：
litb 和 Joe 已经给出了实践中使用的答案。只是为了说明如何通过专门针对有问题的数字（而不是一般的布尔条件）手动完成此操作：
template <int N>
struct helper : helper<N - 1> { };
template <>
struct helper<10> { typedef void type; };
template <>
struct helper<0> { }; // Notice: missing typedef.
template <int N>
typename helper<N>::type error_if_less_than_10() {
}
int main() {
error_if_less_than_10<10>();
error_if_less_than_10<9>();
}
函数不能被继承，但类（和结构）可以。因此，此代码还使用了一个结构，该结构自动动态地为除 10 和 0 之外的所有 N 生成案例，这是硬编码的递归开始。
顺便说一句，上面的代码实际上给出了相当不错的错误信息：
x.cpp:16: error: no matching function for call to 'error_if_less_than_10()'
【讨论】：