深入浅出C++模板元编程（3）

Answer 1

1. 在前文中，我们已经了解了SFINAE及其在函数重载中的应用。
2. 本文将深入探讨如何使用expression SFINAE检测类的构造函数特性，特别是默认构造函数的检查。
3. 在C++中，Unevaluated Expression如typeid、sizeof、noexcept和decltype，它们操作的表达式不会实际计算。
4. 例如，sizeof(std::cout&)实际上并不执行输出，只是获取表达式的类型信息。
5. 这些操作符在编译时提供了对表达式类型进行检查但不执行的能力，被称作"检视"而非计算。
6. 在构造类对象时，即使在unevaluated context中，编译器会检查是否正确调用构造函数，包括析构函数。
7. 比如，尝试用一个无析构函数的类no_dtor构造一个对象，会因sizeof表达式中的错误而报错。
8. 对于C风格数组和std::vector，动态扩容的数组允许存放没有默认构造函数的元素，而C风格数组则要求元素能段裂被默认构造。
9. 我们可以通过元编程，结合decltype进行SFINAE，来检测类是否具有默认构造函数。
10. 例如，通过尝试构造一个默认值，如果编译器可以接受，握好闭即表示有默认构造函数，否则为错误。
11. 元函数try_construct采用不同的重载版本，使用std::declval提供未被构造的值，避免直接调用构造函数，使得检测更为灵活。
12. 通过编译器检查这些表达式，我们能得到类的构造函数属性信息。
13. 进一步，std::declval的使用简化了我们提供构造参数的方式，尽管初始化语法复杂，但通过这个函数，我们可以优雅地处理检测任意类型构造函数的能力。
14. 然而，这些方法仅作为理解原理的工具，不建议直接用于生产代码，因为它们缺乏标准库的完整性和优化。
15. 最后，我们将继续探索void_t和更高级的SFINAE技巧，如concept库的实现，以提升代码的简洁性和功能性。