我想知道,在C++ 17中引入std::bool_constant及其后续使用std::true_type和std::false_type(以及在头文件中定义的比较结构<ratio>,参见N4389)背后的原理是什么？
到目前为止,我只能找到包含措辞的文件:
虽然两篇论文都提到了"理由" - https://issues.isocpp.org/show_bug.cgi?id=51 - 链接评论提要主要表明这是"基于对c ++的讨论std-lib*"(大概是指私人反射器？)而没有进一步的细节.
以下是文档:http: //en.cppreference.com/w/cpp/types/integral_constant