template<int a, int b, typename T = typename std::enable_if<a + b == 10>::type>
class foo {
};

这应该可以了只是要确保在示例化模板时永远不要显式地提供第三个模板参数。
正如其他人提到的，static_assert是一个更好的选择。

我猜您可以使用static_assert而不是enable_if更好地强制执行该约束

template<int a, int b>
class foo {
    static_assert(a+b==10, "a+b is not 10");
};

int main()
{
    foo<5,5> f; // will compile
    foo<1,5> f; // will fail to compile with error: a+b is not 10
    return 0;
}

enable_if主要用于根据类型特征从重载解析中有条件地移除函数和类，并为不同的类型特征提供单独的函数重载和专门化。

使用C++20

你可以通过简单地将 requires 添加到模板中来实现：

template<int a, int b> requires (a + b == 10)
struct foo {
    int c;
};

int main() {
    foo<3, 7> ok;
    // foo<3, 8> doesnt_compile;
}

• requires* 子句得到一个constant expression，它的计算结果是true或false，从而决定是否将其视为正确的匹配，如果requires子句为true，则忽略它。

产品编号：https://godbolt.org/z/yHh4Et

很简单，就是不要使用enable_if

template<bool Ten>
struct Base
{
    int c;
};

template<>
struct Base<false>
{ };

template<int a, int b>
struct foo : Base<a+b == 10>
{
};