下面是试图在编译时检查默认构造函数是否存在的代码段。编译这个
clang version 11.0.0
Target: x86_64-apple-darwin19.6.0
Thread model: posix
InstalledDir: /usr/local/opt/llvm/bin
使用选项 clang++ --std=c++17 -o test_default_ctor test_default_ctor.cpp
#include <type_traits>
template<typename T, typename = void>
struct has_default_ctor_1 : std::false_type {};
template<typename T>
struct has_default_ctor_1<T, std::void_t<decltype(T())>> : std::true_type {};
template<typename T, typename = void>
struct has_default_ctor_2 : std::false_type {};
template<typename T>
struct has_default_ctor_2<T, std::void_t<decltype(T{})>> : std::true_type {};
struct Test1 {
Test1() = default;
};
struct Test2 {
Test2() {}
};
struct Test3 {
Test3() = delete;
};
int main() {
static_assert(has_default_ctor_1<Test1>::value, "Test has default ctor");
static_assert(has_default_ctor_2<Test1>::value, "Test has default ctor");
static_assert(has_default_ctor_1<Test2>::value, "Test has default ctor");
static_assert(has_default_ctor_2<Test2>::value, "Test has default ctor");
static_assert(not has_default_ctor_1<Test3>::value, "Test has default ctor");
static_assert(not has_default_ctor_2<Test3>::value, "Test has default ctor");
}
编译的输出将是test_default_ctor.cpp:33:5: error: static_assert failed due to requirement '!has_default_ctor_2<Test3, void>::value' "Test has default ctor"
static_assert(not has_default_ctor_2<Test3>::value, "Test has default ctor");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
问题是为什么使用 ()
对比 {}
模板特化中的构造函数调用使它在一种情况下工作但在另一种情况下不起作用?
最佳答案
template<typename T> struct has_default_ctor_2<T, std::void_t<decltype(T{})>> : std::true_type {};
当您检查是否
T{}
格式良好,您还允许可以通过聚合初始化来初始化的类型。 Test3
是 C++20 之前的聚合类,因为它没有用户提供的构造函数。来自 [dcl.fct.def.default]/5 [提取,重点 矿]:[...] A function is user-provided if it is user-declared and not explicitly defaulted or deleted on its first declaration.
有关不同标准版本上聚合的详细信息,请参见例如:
Aggregates in C++20
As of C++20, particularly due to the implementation of P1008R1 (Prohibit aggregates with user-declared constructors) most of the frequently surprising aggregate behaviour covered above has been addressed, specifically by no longer allowing aggregates to have user-declared constructors, a stricter requirement for a class to be an aggregate than just prohibiting user-provided constructors.
关于c++ - 使用带有 std::void_t 的类模板检查默认构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/64959561/