即使该构造无法编译，对象构造表达式是否格式良好？

Question

假设我们有一个不可复制的类型X：

struct X
{
    X(X&&) = default;
    X(const X&) = delete;
}

然后，自然地，我们不能复制具有X作为值类型的容器：

std::set<X> v;
std::set<X> v2{v}  // error

我的问题是，涉及这种副本的表达式是否格式正确？例如，编译以下表达式：

sizeof( std::set<X>{v} )

我问是因为我遇到了以下问题：

std::cout << std::is_copy_constructible_v< X >;
std::cout << std::is_copy_constructible_v< std::set<X> >;

打印出来01。有点违反直觉，std::set<X>即“报告”为可复制构造，而实际上并非如此（因此无法调用其复制构造函数）。

Answer 1

这是由于您遇到的一个问题，当您的容器应支持不完整的类型时。你不能两者兼而有之

如果您支持不完整类型，则无法检查复制构造函数的声明是否可复制（因为此时它可能不完整）。因此，您始终可以实例化复制构造函数。但如果你这样做，那么在评估的上下文中就会失败。