为什么复制构造函数不是微不足道的，只是因为有一个用户定义的析构函数？ [复制]

Question

以下摘录在 Clang-libstdc++ 或 Clang-libc++、GCC、它们的许多版本以及自 11（14 和 17）以来的所有三个版本的语言中编译：

#include <type_traits>

struct HasUserDefinedDestructor {
    ~HasUserDefinedDestructor() {}
};

using HUDD = HasUserDefinedDestructor;

static_assert(not std::is_trivially_move_constructible<HUDD>::value, "");
static_assert(not std::is_trivially_copy_constructible<HUDD>::value, "");

这让我很吃惊，因为副本只需要一些琐碎的操作。

这是编译器/库中的错误，还是标准在某处说拥有用户定义的析构函数会使复制和移动构造函数变得不简单？

编辑：为什么这不是默认构造问题的重复： 鉴于 cmets，我们知道构造函数的“无异常”和琐碎性受到析构函数的无异常性和琐碎性的影响，但在知道所有这些特征都相关之前，问题是不同的。有这个问题可以让任何人看到这是相关的

Answer 1

is_trivially_constructible 是defined as follows（粗体是我的）：

is_­constructible_­v<T,Args...> 是 true 和 is_­constructible 的变量定义，定义如下，已知不会调用不重要的操作

«定义如下»是[meta.unary.op]/8:

模板特化is_­constructible<T, Args...>的谓词条件当且仅当以下变量定义对于某个发明变量t是良构的：

T t(declval<Args>()...);

所以是的，is_trivially_[copy|move]_constructible_v 是 false 当析构函数不是微不足道的。

Answer 2

每[dcl.fct.def.default]/5:

[...] 一个函数是用户提供的，如果它是用户声明的而不是显式的 在第一次声明时违约或删除。 [...]

因此，给定

struct HasUserDefinedDestructor {
    ~HasUserDefinedDestructor() {}
};

HasUserDefinedDestructor 有一个用户提供的析构函数。

每[class.dtor]/6：

如果析构函数不是用户提供的并且如果：[...]

否则，析构函数是非平凡的。

因此，HasUserDefinedDestructor 有一个 非平凡 析构函数。

每[meta.unary.prop]：

template <class T, class... Args>
struct is_­trivially_constructible;

条件： is_­constructible_­v<T, Args...> 是 true 和 is_­constructible 的变量定义，定义如下，是 已知不会调用任何重要的操作（[basic.types]， [特殊]）。

前置条件：T和参数包Args中的所有类型都应该是一个完整的类型，cvvoid，或者一个未知的数组绑定。

template <class T>
struct is_­trivially_copy_­constructible;

条件：对于可引用类型T，结果与is_­trivially_­constructible_­v<T, const T&>相同，否则为false。

前置条件： T 应该是一个完整的类型，cv void，或者一个未知边界的数组。

template <class T>
struct is_­trivially_­move_­constructible;

条件：对于可引用类型T，结果与is_­trivially_­constructible_­v<T, T&&>相同，否则为false。

前置条件： T 应该是一个完整的类型，cv void，或者一个未知边界的数组。

每[meta.unary.prop]/8：

模板特化的谓词条件 当且仅当满足is_­constructible<T, Args...> 对于某些发明，以下变量定义将是格式良好的 变量t:

T t(declval<Args>()...);

[ 注意： 这些标记永远不会被解释为函数 宣言。 — 尾注 ] 访问检查的执行就像 在与T 和任何Args 无关的上下文中。只有有效期 考虑变量初始化的直接上下文。 [ 注意：初始化的评估可能会导致边 类模板特化的实例化等效果 和功能模板特化，生成 隐式定义的函数，等等。这种副作用不在 “直接上下文”，并可能导致程序被 格式不正确。 — 尾注 ]

变量定义应该“调用”析构函数，即使析构函数似乎没有在定义的位置被调用。因此，std::is_trivially_move_constructible<HUDD>::value 是 false，std::is_trivially_copy_constructible<HUDD>::value 也是。