构造一个没有默认构造函数的空对象

Question

假设我有一个类型F。我知道这F是空的，但F没有默认构造函数，所以我不能F()用来构造它。有没有办法获得有效的类型对象F？我似乎记得有一次提到工会的神秘用法有这样一种方式。理想情况下，这将是constexpr友好的。

---

这很有用，因为无捕获 lambda 仅在 C++20 中获得了默认构造函数。在 C++17 中，如果我想“将 lambda 传递给模板”并在没有实例的情况下调用该 lambda，我需要能够从类型中重建它。

auto const f = [](int x) { return x; };
using F = decltype(f);

static_assert(std::is_empty_v<F>);
static_assert(!std::is_default_constructible_v<F>);

magically-construct-an-F(42);

Answer 1

对于自己的类型，你可以禁止复制或自身举动，构造一个对象：F f = f。这本身不会导致 UB，请参阅CWG363。然而，编译器提供的闭包类型并不是很清楚，即使你知道它是空的。

Answer 2

但F没有默认构造函数

如果是这种情况，那么用户要么显式删除它，要么隐式删除它，因为用户提供了一些其他构造函数。无论哪种情况，类型都不是平凡的。

如果一个对象是非平凡的，那么要创建该类型的对象而不从现有实例复制/移动，您必须显式调用某种构造函数。这是无法回避的。

即使联合的常见初始序列规则也不允许您创建另一个对象。它只允许访问另一个对象的非静态数据成员。由于您的对象是空的，因此这对您来说没有任何价值。