有没有一种方法可以创建一个函数，该函数接受一个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;
}
template<bool> class static_check
{
};
template<> class static_check<false>
{
private: static_check();
};
#define StaticAssert(test) static_check<(test) != 0>()
那么就使用StaticAssert吧。对我来说，它是一个#define，因为我的代码需要在很多C++不适用于模板的环境中运行，我需要将其退回到运行时断言。:(
此外，错误信息不是最好的。
template <int number1>
typename boost::enable_if_c< (number1 >= 10) >::type
reportErrorIfLessThan10() {
// ...
}
enable_if，没有_c因为我们有一个简单的bool，看起来像这样：template<bool C, typename T = void>
struct enable_if {
typedef T type;
};
template<typename T>
struct enable_if<false, T> { };
Boost的enable_if不接受普通的bool类型，因此他们有另一个版本，加上了_c后缀，可以接受普通的bool类型。您将无法为number1<10调用它。SFINAE将排除该模板作为可能的候选项，因为如果条件评估为false，enable_if将不会公开类型::type。如果您想在函数中测试它，那么如果您有C++1x特性可用，可以使用static_assert：
template <int number1>
void reportErrorIfLessThan10() {
static_assert(number >= 10, "number must be >= 10");
}
template <int number1>
void reportErrorIfLessThan10() {
BOOST_STATIC_ASSERT(number >= 10);
}
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 );
}
enable_if会做到这一点。您将收到有关未声明的reportErrorIfLessThan10的错误消息。如果由于某些原因您无法使用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);更易读。然而，这限制了每行只能使用一个断言的用例。
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>();
}
函数不能被继承，但类（和结构体）可以。因此，这段代码还使用了一个结构体，它会自动动态生成所有N的情况，除了10和0，它们是硬编码递归开始。
顺便说一下，上面的代码实际上提供了相当好的错误信息：
x.cpp:16: error: no matching function for call to 'error_if_less_than_10()'