对于类模板，std::enable_if 比 static_assert 有什么优势？

Question

我想知道std::enable_if 相对于static_asserts 在防止模板实例化方面的优势。 This answer 建议，std::enable_if 允许 SFINAE，这在 function templates 的情况下是一个令人信服的论点。

但是这个论点对于class templates（和variable templates）是合法的吗？据我所知，那里没有涉及过载解决方案，这使得 SFINAE - 再次，据我所知 - 不相关，但我可能是错的。如果有，你能举个例子吗？

如果不是，我认为static_assert 对于类模板的给定问题（防止模板实例化）是更好的解决方案，因为它可以说更加明确、简洁和易读，并允许自定义错误消息。这是正确的还是我错过了 SFINAE 以外的一点？

Answer 1

如您所说，可以通过专业化来处理一些不同的类型：

template <class>
class foo;

template <>
class foo <int> { /* int implementation */ };

template <>
class foo <char> { /* char implementation */ };

现在考虑我们想要专门化多种类型，并且我们希望 float 和 double 属于同一个专门化。如果没有 SFINAE，我们就无法做到这一点，因此为了避免重复实现，我们使用继承：

class foo_fp_implementation {
    /* specialise for all floating point */ 
};

template <>
class foo <float> : foo_fp_implementation {};

template <>
class foo <double> : foo_fp_implementation {};

到目前为止，我们已经避免使用 SFINAE，但是如果您想要一个使用特定接口的所有类型的专业化怎么办？示例：有方法 int bar ()?我们可以尝试使用上述技巧并列出所有可能的类型，但是如果需要维护的类型太多，或者您希望其他可能使用自己的类型的人可以使用它怎么办。在这里 SFINAE 来救援：

template <class, class = int>
class foo;

template <class T>
class foo <T, decltype(T().bar())> {
    // implement using bar interface
};

// other specialisations...

在上述情况下，static_assert 根本帮不上忙。

---

总之，SFINAE 有助于基于精确的行为而不是精确的类型进行专业化。

Answer 2

但是这个参数对于类模板（和变量模板）是合法的吗？据我所知，那里没有涉及过载解决方案，这使得 SFINAE - 再次，据我所知 - 不相关，但我可能是错的。如果有，你能举个例子吗？

您可以专业化类模板，SFINAE 可用于在专业化之间进行选择。它还将阻止此类（到那时，可能是格式错误的）类/其专业化的实例化，而不是由于static_assert而无法编译。

Answer 3

std::enabled_if 在 SFIANE 中用于模板类、方法和...的特化。 static_assert 用于在编译时检查合约，并提供有用的错误消息。