C++声明了一个函数,而不是调用一个复杂的构造函数

Question

首先,我知道stackoverflow上已经有类似的问题(这个,这个和这个),这就是为什么我理解我的问题的原因.不幸的是,这并没有帮助我解决它.

虽然上面的问题都与默认的无参数构造函数有关,但在使用带有默认值的双参数构造函数时我遇到了问题- 我试图构造一个对象,只调用给定的第一个值来构造构造函数,并将其解析为函数声明而不是对象.

以下是我的代码的一些片段(我重命名了类名,因为它们很长且不相关):

class algoContainer{
public:
algoContainer(algo1Virtual &alg1 = algo1Concrete::emptyInstance(),
      algo2Virtual &alg2 = algo2Concrete::instance());

someUsefulFunction();
};

class algo1Concrete : public algo1Virtual{
    private:
    algo1Concrete();
    public:
    static algo1Concrete &emptyInstance(); // "empty" instance treated
                                           // specifically
                                           //  -- uses private no arg constructor
    algo1Concrete(const std::vector<data> &myData); // construcotr
};

class algo1Virtual{
    // ... all functions virtual, no implementations ...
};


// ... similar for algo2Virtual/Concrete ...

Concrete类中的所有函数都是实现的,而类中的所有函数都不Virtual是(构造函数和析构函数除外).

所以,我现在的问题是我想做的事情如下:

std::vector <data> workData;
// fill workData
algoContainer myAC(algo1Concrete(workData));
myAC.someUsefulFunction(); // this line gives compile error

漂亮,可爱和优雅,但它不起作用(错误与我链接的所有问题相同).我发现这个论坛教程确实将问题称为最烦恼的解析,但是它的解决方案(在参数旁边加括号)并没有解决问题(在这种情况下,这是一大堆错误消息,但我可以编辑如果它有帮助,那么它在后面的问题中 - 这些都与继承虚函数有关).

我已经测试了我的代码,如果我使用默认情况下所有参数的构造函数,即使我只是单独构造第一个参数:

std::vector <data> workData;
// fill workData
algo1Concrete myA1(workData);
algoContainer myAC(myA1);

myAC.someUsefulFunction(); // now it works fine

algoContainer myAC2;
myAC2.someUsefulFunction(); // this also works

我可以使用代码,但如果有人能给我一个更优雅的解决方案,我现在非常感激.

---

编辑:错误消息当我修复最令人烦恼的解析时我得到

如果我使用带括号的代码:

algoContainer myAC((algo1Concrete(workData)));

我的错误是:

/some_path/main.cpp:47:65: error: no matching function for call to ‘algoContainer::algoContainer(algo1Concrete)’
/some_path/main.cpp:47:65: note: candidates are:
/some_path/algo/algocont.h:45:5: note: algoContainer::algoContainer(algo1Virtual&, algo2Virtual&)
/some_path/algo/algocont.h:45:5: note:   no known conversion for argument 1 from ‘algo1Concrete’ to ‘algo1Virtual&’
/some_path/algo/algocont.h:36:7: note: algoContainer::algoContainer(const algoContainer&)
/some_path/algo/algocont.h:36:7: note:   no known conversion for argument 1 from ‘algo1Concrete’ to ‘const algoContainer&’

为了便于阅读,我重命名了路径并插入了示例文件和类名(与上面相同).只是一句话:line 45是有问题的构造函数的定义.另一方面,line 36是线class algoContainer.

我也尝试过这段代码:

algoContainer myDect((algo1Virtual)(algo1Concrete(workData)));

然后错误完全不同:

/some_path/main.cpp:47:86: error: cannot allocate an object of abstract type ‘algo1Virtual’
/some_path/algo/alg1/algo1virtual.h:31:7: note:   because the following virtual functions are pure within ‘algo1Virtual’:
/some_path/algo/alg1/algo1virtual.h:42:8: note:     virtual algo1Virtual::~algo1Virtual()
/some_path/algo/alg1/algo1virtual.h:39:18: note:    virtual void algo1Virtual::someAlgo1Function(std::vector<data>&)
/some_path/main.cpp:47:87: error: no matching function for call to ‘algoContainer::algoContainer(algo1Virtual)’
/some_path/main.cpp:47:87: note: candidates are:
/some_path/algo/algocont.h:45:5: note: algoContainer::algoContiner(algo1Virtual&, algo2Virtual&)
/some_path/algo/algocont.h:45:5: note:   no known conversion for argument 1 from ‘algo1Virtual’ to ‘algo1Virtual&’
/some_path/algo/algocont.h:36:7: note: algo1Virtual::algo1Virtual(const algo1Virtual&)
/some_path/algo/algocont.h:36:7: note:   no known conversion for argument 1 from ‘algo1Virtual’ to ‘const algo1Virtual&’

希望这可以帮助.

Answer 1

该问题似乎是由于构造函数采用的参数造成的：

algoContainer( algo1Virtual &alg1,
               algo2Virtual &alg2 );

注意：为了简洁起见，我删除了默认参数。

这将参数作为非常量引用。因此，当您拨打如下电话时：

algoContainer myAC(algo1Concrete(workData));

的建设：

algo1Concrete(workData)

导致建造一个匿名的临时设施。匿名临时对象不能绑定到非常量引用，很简单，因为它们是临时的，您对它们所做的任何更改都会立即消失（这不是真正的原因，但似乎有意义。修改匿名对象没有任何意义）临时的，因为您以后无法使用它（没有名称）或最终（它是临时的））。实际上，非常量引用只能绑定到左值，而匿名临时变量是右值。（详细信息：非常量引用只能绑定到左值）

一般来说，这种使用意味着想要将正在构造的对象的完全所有权交给函数。这可以通过值传递（昂贵）来完成，或者在 C++11 中通过右值引用传递来完成。

按值传递将如下所示：

algoContainer( algo1Virtual alg1,
               algo2Virtual alg2 );

这将导致不必要的副本。

另一种选择是在 C++11 中通过右值引用传递，如下所示：

algoContainer( algo1Virtual &&alg1,
               algo2Virtual &&alg2 );

现在您的第一次使用将开箱即用：

std::vector <data> workData;
// fill workData
algoContainer myAC(algo1Concrete(workData));
myAC.someUsefulFunction();

但是您的第二次使用需要修改，以便您的对象被“移动”到构造函数中，并且 algoContainer 获得数据的所有权（名称局部变量是“坏的”，根本不应该使用。

std::vector <data> workData;
// fill workData
algo1Concrete myA1(workData);
algoContainer myAC(std::move(myA1)); //NOTICE THE std::move call.
//myA1 is now a dummy, and unusable as all the internals have gone.
myAC.someUsefulFunction(); 

为了使上面的示例正常工作，您必须使用以下签名为 algo1Concrete 实现移动构造函数：

algo1Concrete ( algo1Concrete&& other )

这将简单地将内部结构转移到当前状态，并使“其他”处于未定义状态。（详细信息：http://msdn.microsoft.com/en-us/library/dd293665.aspx）

注意：关于默认参数。

我通常建议避免使用函数的默认参数，因为它们会导致更多的混乱而不是方便。只需重载该函数即可“模拟”所有默认参数。因此，就您而言，您将拥有三个演员：

algoContainer(); //This assumes that the args were both the statics
algoContainer( algo1Virtual alg1 ); //This assumes that arg2 was the static.
algoContainer( algo1Virtual alg1, algo2Virtual alg2 ); //This uses both input.

我同意它更详细，并且目前没有很多编译器实现继承构造函数，因此我们也经常复制代码。但这会将一个人与调查问题时出现的许多调试/魔法值问题隔离开来。但是，FWIW，这只是一个意见。