如何在不使用type_traits的情况下检查复制构造函数是否为noexcept？

Question

经过一些实验后,我设法编写了一段代码来检查类的移动构造函数是否为noexcept(不使用type_traits;这只是一个练习):

std::cout << std::boolalpha << noexcept(Widget(std::declval<Widget>())) << std::endl;

declval函数"返回"Widget &&,因此整个表达式是一个移动构造函数调用.但是如何为复制构造函数实现类似的东西呢？

Answer 1

使用std::declval<Widget&>().参考折叠将T&& &变为T&:

std::cout << std::boolalpha << noexcept(Widget(std::declval<Widget&>())) << std::endl;
//                                                          ^^^^^^^^