我正在编写一个在 size_t 上参数化的类模板，
template<size_t k>
class MyClass {...}
参数 k 应该小于 10，在这种情况下，我希望它超过这个值就编译失败。如何在 C++11 及更高版本中做到这一点？
MyClass<1> instance1; // ok
MyClass<2> instance2; // ok
MyClass<100> instance100; // fail to compile
【问题讨论】：
使用static_assert
template<size_t k>
class MyClass {
static_assert(k < 10, "Illegal k");
};
int main() {
MyClass<50> t; //< Compile time failure
}
【讨论】：
static_assert 放入类主体中。以您的方式，只有 ctor 调用将无法编译，这可能是也可能不是 OP 想要的。
static_assert 放在课堂上的任何位置。
std::enable_if）使用起来非常有趣，但它的可读性较差，并且编译时错误不像 static_assert 那样清晰。
您可以在模板参数中添加一个检查，例如
template<size_t k, std::enable_if_t<k <= 10, bool> = true>
class MyClass {};
这将允许MyClass<1> instance1; 但MyClass<100> instance100; 将无法编译。
【讨论】：
static_assert() 技术比这种技术更简单易懂。另外我不熟悉std::enable_if_t<>，你能解释一下这是如何完成OP需要的吗？导致MyClass<100>编译失败怎么办？
enable_if 会给你更多的机会。例如。为某些模板参数启用某些函数重载和为其他模板参数启用其他一些重载是很常见的。但在这个特殊的用例中，正如你所说，我认为没有理由比 static_assert 更喜欢它。
bool。我一直在努力解决答案，但错过了这个。
void* 方式来实现。 FWIW 我使用enable_if_t<..., boo> = true 的所有新代码来验证代码的合规性。不会再重要了，但我喜欢看到true，因为它提醒我只有在条件为真时才启用。
如果你使用 C++11，你可以使用std::enable_if。
template<std::size_t k, typename unused = typename std::enable_if<k <= 10>::type>
class MyClass {};
如果您能够使用 C++14 或更高版本，则可以使用 std::enable_if_t。
template<std::size_t k, typename unused = std::enable_if_t<k <= 10 >>
class MyClass {};
【讨论】：
static_assert() 技术比这些技术中的任何一个都更简单易懂。另外我不熟悉std::enable_if<> 或std::enable_if_t<>，你能解释一下这些是如何完成OP 需要的吗？
std::enable_if<> 或 std::enable_if_t<> 是如何工作的已经够难的了；即使您省略了细节，添加几句话来解释如何完成 OP 所需的本质仍然会有所帮助。如果斯科特·迈耶斯没有以读者可以理解的方式写作，他的书就永远不会超过几本书。 SO 不应该成为已经是语言专家的人的技术参考站点；它应该比这更有帮助。