std::bool_constant 背后的基本原理

Question

我想知道，在 C+ 中引入 std::bool_constant 及其随后用于 std::true_type 和 std::false_type（以及在标头 <ratio> 中定义的比较结构，参见 N4389）背后的基本原理是什么+17？

到目前为止，我只能找到包含以下措辞的文件：

• http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4334.html
• http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4389.html

虽然两篇论文都提到了“基本原理”——https://issues.isocpp.org/show_bug.cgi?id=51——但链接到的评论提要大多指出这是“基于对 c++std-lib* 的讨论”（大概是指私人反射器？），不再赘述。

这是文档： http://en.cppreference.com/w/cpp/types/integral_constant

Answer 1

它是纯粹的语法糖。通常，我们使用例如像这样进行标签调度：

void foo_impl(std::false_type) { /*Implementation for stuff (and char) */}
void foo_impl(std::true_type ) { /*Implementation for integers but not char*/}

template <typename T>
void foo(T) {
    foo_impl(t, std::bool_constant<std::is_integral<T>{} && !std::is_same<char, T>{}>());
}

如果没有bool_constant，我们将不得不使用更长的类型说明符来指定所需的类型：std::integral_constant<bool, ...>。由于布尔值使用integral_constant 的用法特别频繁，因此需要一种简洁而简短的处理专业化的方法，而bool_constant 提供了这一点。
其实bool_constant只不过是bool的别名模板-integral_constant的专业化：

template <bool B>
using bool_constant = integral_constant<bool, B>;

true_type 和 false_type（以及integral_constant<bool, ..> 的其他用途）的声明被更改的唯一原因是为了标准的简洁，甚至；没有技术需求，因为integral_constant<bool, false> 和bool_constant<false> 指定完全相同的类型。