C++11 static_assert（以及其中使用的函数）

Question

static_assert 与模板一起似乎是一个非常不错的功能。

但是，我很难在标准库中找到用于在编译时进行各种测试的函数。

例如，我正在寻找一个函数来检查一个类型是否是另一个类型的子类型。 boost::is_base_of 可以完成这项工作，但是，它是 std 中的一个类似功能，所以我不需要依赖 boost。

基本上，有没有很好的函数列表来源，可以在static_assert 中使用并且包含在 C++11 的标准库中？

static_assert 何时执行？我可以将它放在模板中的任何位置并针对每个模板实例进行评估吗？是否可以用于将模板参数约束为类的特定子类型？

Answer 1

看看最后的 C++11 draft，第 20.7 节，特别是 <type_traits> 标头。

您要问的是：std::is_base_of<base, derived>::value;

关于您的问题：static_assert 可以在编译器认为合适时进行评估，但通常会：

• 在模板中：如果表达式使用依赖名称，则在实例化时间；否则，在定义时间内。
• 超出模板：在定义时间内。

Answer 2

除了@rodrigo 的回答（他更快……），

什么时候执行静态断言？我可以将它放在模板中的任何位置并针对每个模板实例进行评估吗？是否可以用于将模板参数约束为类的特定子类型？

很遗憾，没有。例如，static_assert(false, "bummer");总是执行，无论模板如何。如果您想（部分）专门化模板，这尤其会失败。

标准（§7.4）说：

[如果static_assert 的条件是false] 程序格式错误，并且生成的诊断消息 (1.4) 应包括字符串文本的文本，[…]

不幸的是，这很不具体，但这种缺乏具体性实际上正是static_assert 在不依赖于模板类型时的行为方式。

您需要使static_assert 中的条件依赖于模板参数，以将其执行绑定到特定的模板参数。

所以下面会失败：

template <typename T>
struct some_type {
    static_assert(false, "T must be a pointer type");
};

template <typename T>
struct some_type<T*> {
    // …
};

最后，我衷心推荐你阅读 Marthino 在 More type traits 上的文章，该文章更详细地介绍了这个过程，并给出了如何优雅地解决许多与 trait 相关的问题的提示。