17

考虑以下代码：

#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，但是需要成为A朋友的确切类（即实际尝试调用构造函数的类）是特定于实现的（例如，对于海湾合作委员会它是__gnu_cxx::new_allocator<A>）。编辑：刚刚意识到这样的朋友声明将允许任何人emplace_back() A使用私有构造函数将 ' 构造到 ' 的容器中，A所以它不会真正解决任何问题，我还不如在那时将构造函数公开......

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

4

3 回答 3

20

一种可能的解决方法（或 kludge）是使用辅助类将参数保存到A（我们称之为此类EmplaceHelper）的私有 ctor 中。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)只使用新版本。

于 2012-07-11T06:57:31.610 回答
10

按照 C++11 标准，所有标准容器都应该使用该allocator::construct方法进行就地构造。因此，您可以简单地std::allocator与A.

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

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

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

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

于 2012-07-11T06:52:36.450 回答
2

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

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

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

于 2012-07-11T05:56:55.403 回答