带有嵌套对象优化的 c++ emplace_back

Question

我对 emplace_back 的行为有点困惑。一起来看看吧。

struct innerObject
{
    innerObject(int );
};

class outterObject
{
    innerObject member;
public:
    outterObject(innerObject member);
};

int main()
{
    std::vector<outterObject> v1;
    v1.emplace_back(5);
}

所以在这种情况下我们可以传递整数并且它有效。

如果 innerObject 需要两个 int 而不是一个来构造，那么构造函数呢？ v1.emplace_back(5,5) 和 v1.emplace_back({5,5}) 以及我尝试过的任何其他组合均无效。这有可能吗？有没有更好的选择来制作这样的东西？ (优化)

Answer 1

避免任何类型的复制/移动的唯一方法是通过提供通用构造函数让外部类型选择加入此类操作:

template <typename A0, typename... Args,
    std::enable_if_t<
        !std::is_same_v<std::decay_t<A0>, outterObject> &&
        std::is_constructible_v<outterObject, A0, Args...>
        , int> = 0>
outterObject(A0&& a0, Args&&... args)
    : member(std::forward<A0>(a0), std::forward<Args>(args)...)
{ }

如果 innerObject 可以从 2 个 int 构造，那么您可以编写 v1.emplace_back(10, 20)。

如果这看起来太矫枉过正，您可以随时执行 v1.push_back({{10, 20}})。请注意，与 emplace_back() 不同，push_back() 不会推断其参数类型 - 它只是 T const& 或 T&&。这允许您使用 {}。