将从元组派生的对象放入C ++中的向量中

时间:2013-02-20 19:00:52

标签: c++ inheritance vector c++11 tuples

我想创建一个包含3个值的结构:一个字符串和两个整数。该字符串是必需的,但是int中的任何一个(或两个)都是可选的,如果未指定,则默认为-1。

然而,我认为我会尝试使用std :: tuple,而不是使用结构。为了合并两个整数的可选项,我设置了一个“Trio”类,它继承自std :: tuple,如下所示:

#include <string>
#include <tuple>

class Trio : public std::tuple<std::string, int, int>
{
    public:

    explicit Trio(std::string const & name, int val1 = -1, int val2 = -1)
    :
        tuple(name, val1, val2)
    {
    }
};

然后我通过将一些Trio对象推入std :: vector来测试Trio类:

#include <vector>
int main(void)
{
    std::vector<Trio> trios;

    Trio trio("trio1", 1, 1);
    trios.push_back(trio);

    return 0;
}

它在Visual Studio 2010中给出了以下错误:

>c:\program files (x86)\microsoft visual studio 10.0\vc\include\tuple(127):
    error C2664: 'std::basic_string<_Elem,_Traits,_Ax>::basic_string(const
    std::basic_string<_Elem,_Traits,_Ax> &)' : cannot convert parameter 1
    from 'const Trio' to 'const std::basic_string<_Elem,_Traits,_Ax> &'
 with
 [
     _Elem=char,
     _Traits=std::char_traits<char>,
     _Ax=std::allocator<char>
 ]
 Reason: cannot convert from 'const Trio' to 'const
 std::basic_string<_Elem,_Traits,_Ax>'
 with
 [
     _Elem=char,
     _Traits=std::char_traits<char>,
     _Ax=std::allocator<char>
 ]
 No user-defined-conversion operator available that can perform
 this conversion, or the operator cannot be called

有谁知道我在这里做错了什么?我有没有看到明显的东西?或许,我是否严重滥用std :: tuple的用法?

谢谢,

亚伦

2 个答案:

答案 0 :(得分:8)

这是VC10的错误

VC10抱怨因为您的类似乎没有复制构造函数。因此,为了复制类型Trio的值,它会尝试将它们转换为string,这是您提供的构造函数接受的(其他参数可以被赋予默认值)。这就是你得到的错误:

  

无法将参数1从'const Trio'转换为'const std :: basic_string&lt; _Elem,_Traits,_Ax&gt; &安培;'

您可以通过显式添加复制构造函数来验证这确实是发生了什么,并观察错误消失:

Trio(Trio const& t) { *this = t; }

现在VC10很满意,因为它看到了一个复制构造函数,并且代码编译得很好。

然而,当用户没有显式提供拷贝构造函数时,编译器应该隐式生成一个拷贝构造函数。根据C ++ 11标准的第12.8 / 7段:

  

如果类定义没有显式声明复制构造函数,则会隐式声明一个。如果类定义声明了移动构造函数或移动赋值运算符,则隐式声明的复制构造函数被定义为已删除;否则,它被定义为默认值(8.4)。 [...]

Trio没有显式声明任何复制构造函数。根据C ++ 11标准的第12.8 / 2段,事实上:

  

类X的非模板构造函数是复制构造函数,如果它的第一个参数是X&amp;类型,const X&amp;,volatile X&amp;或const volatile X&amp; ,并且没有其他参数或者所有其他参数都有默认参数(8.3.6)

因此,您明确提供的构造函数是而不是复制构造函数,并且禁止隐式生成复制构造函数。

VC10可能会误解您作为复制构造函数提供的构造函数,因此不会隐式生成一个构造函数。但是,由于上面所写的内容,此行为不正确并且符合错误。(*)

作为旁注,您的代码在Clang 3.2,GCC 4.7.2和ICC 13.0.1上编译良好。

<强>更新

我尝试使用不涉及std::tuple<>的简单数据结构重现问题,但我失败了。因此,错误不仅仅是由于VC10将构造函数误解为显式复制构造函数。但是,这并没有改变VC10行为不正确的事实。

答案 1 :(得分:1)

看起来这只是VS2010中的一个问题。我没想看是否有关于它的错误提交。这将在VS2012和gcc-4.7.2

中进行编译