私有构造函数禁止使用 emplace[_back]() 来避免移动

Question

考虑以下代码：

#include <vector>

class A
{
public:    
    A(A&&);  // somewhat expensive

    static std::vector<A> make_As()
    {
        std::vector<A> result;
        result.push_back(A(3));
        result.push_back(A(4));
        return result;
    }

private:
    A(int);  // private constructor
};

由于A 的移动构造函数有点昂贵（无论出于何种原因），我想避免调用它并改用emplace_back()：

#include <vector>

class A
{
public:    
    A(A&&);  // somewhat expensive

    static std::vector<A> make_As()
    {
        std::vector<A> result;
        result.emplace_back(3);
        result.emplace_back(4);
        return result;
    }

private:
    A(int);  // private constructor
};

不幸的是，对于emplace_back()，实际的构造函数调用是由标准库中的某些东西完成的，它没有足够的特权来调用A 的私有构造函数。

我意识到对此可能无能为力，但我觉得由于对 emplace_back() 的调用发生在 A 的成员中，他们应该能够调用私有构造函数。

有什么解决方法吗？

我唯一能想到的就是给A添加一个friend-declaration，但是准确的类需要是A的朋友（也就是实际尝试调用构造函数的类）是特定于实现的（例如，对于 GCC，它是 __gnu_cxx::new_allocator<A>）。 编辑：刚刚意识到这样的朋友声明将允许任何人将emplace_back()A用私有构造函数构造成A的容器，所以它不会真正解决任何问题，我还不如将构造函数公开......

更新：我应该补充一点，A 的移动构造函数昂贵并不是避免调用它的唯一原因。 A 可能根本不能移动（也不能复制）。当然，这不适用于vector（因为emplace_back() 可能必须重新分配向量），但它适用于deque，它也有类似的emplace_back() 方法，但不必重新分配任何东西。

Answer 1

一种可能的解决方法（或 kludge）是使用辅助类将参数保存到 A 的私有 ctor（我们将此类称为 EmplaceHelper）。 EmplaceHelper 还应该有一个私人 ctor，并且它应该与 A 相互友好。现在你所需要的只是 A 中的一个公共 ctor，它接受这个 EmplaceHelper（可能是通过 const-ref），并将它与 emplace_back(EmplaceHelper(...)) 一起使用。

由于 EmplaceHelper 只能由 A 构造，因此您的公共 ctor 实际上仍然是私有的。

甚至可以使用模板化的 EmplaceHelper 来概括这个想法（可能使用 std::tuple 来保存 ctor 参数）。

编辑： 实际上，我似乎把它复杂化了，因为 GManNickG 下面的评论给了我一个更简单的想法：添加一个私有帮助类（示例中为private_ctor_t），它只是一个空类但由于它是私有的，它只能由A 访问。修改A 的构造函数以包含这个私有类作为第一个（或最后一个）参数（并使其公开）。效果是只有A 可以构造自己，就好像它有一个私有构造函数一样，但是这个构造现在可以很容易地被委托。

像这样：

#include <vector>
class A 
{ 
private:
    struct private_ctor_t {};

public:     
    A(private_ctor_t, int x) : A(x) // C++11 only, delegating constructor
    {}

    A(A&&) { /* somewhat expensive */ }

    static std::vector<A> make_As() 
    { 
        std::vector<A> result; 
        result.emplace_back(private_ctor_t{}, 3); 
        result.emplace_back(private_ctor_t{}, 4); 
        return result; 
    } 

private: 
    A(int) { /* private constructor */ }
}; 

如果委托构造函数不可用，您可以将每个版本的通用代码分解出来，或者干脆去掉A(int)，只使用新版本。

Answer 2

根据 C++11 标准，所有标准容器都应该使用allocator::construct 方法来进行就地构造。因此，您可以简单地将std::allocator 设为A 的朋友。

我想从技术上讲，这个函数可以将实际的构造调用委托给其他东西。就个人而言，我认为规范应该更加严格地强制执行哪些对象调用构造函数以及哪些可以委托和不能委托。

如果发生这种委派，或者出于任何原因，您可以提供自己的分配器，将所有调用转发到std::allocator，construct 除外。我不建议使用后者，因为许多标准容器实现都有处理std::allocator 的特殊代码，这使得它们占用的空间更少。

刚刚意识到这样一个朋友声明将允许任何人将使用私有构造函数构造的 A emplace_back() 放入 A 的容器中，所以它不会真正解决任何问题，我还不如在那时将构造函数公开。 ..

然后你将不得不决定什么对你来说更重要：就地建造或隐藏私人。就其本质而言，就地构造意味着代码中的某人正在执行构造。因此，没有办法绕过它：某些外部代码必须被命名为朋友，或者构造函数必须是公共的。简而言之，构造函数必须公开可供任何被委托构造的人访问。

Answer 3

让我们简化一下。以下无法编译，因为 V 无法访问 A 的私有构造函数。

struct V
{
    E(int i)
    {
        // ...
        auto a = A(i);
        // ...
    }
};

回到您的代码，V 只是向量的简化，而 V::E 只是 emplace_back 所做的简化。 vector 无权访问 A 的私有构造函数，vector::emplace_back 需要调用它。