11

以下代码仅在复制构造函数可用时才有效。

当我添加打印语句(通过std::cout)并使复制构造函数可用时,它不会被使用(我假设发生了编译器技巧来删除不必要的副本)。

但是在下面的输出operator <<和函数plop()中(我在其中创建了一个临时对象),我看不到需要复制构造函数。当我通过 const 引用(或我做错了什么)传递所有内容时,有人可以解释为什么语言需要它。

#include <iostream>

class N
{
    public:
        N(int)  {}
    private:
        N(N const&);
};

std::ostream& operator<<(std::ostream& str,N const& data)
{
    return str << "N\n";
}

void plop(std::ostream& str,N const& data)
{
    str << "N\n";
}

int main()
{
    std::cout << N(1);     // Needs copy constructor  (line 25)
    plop(std::cout,N(1));  // Needs copy constructor

    N    a(5);
    std::cout << a;
    plop(std::cout,a);
}

编译器:

[Alpha:~/X] myork% g++ -v
使用内置规范。
目标:i686-apple-darwin10
配置:/var/tmp/gcc/gcc-5646~6/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/ usr/lib --build=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1 --program-prefix=i686-apple-darwin10- --host=x86_64-apple- darwin10 --target=i686-apple-darwin10
线程模型:posix
gcc 版本 4.2.1(Apple Inc. build 5646)

[Alpha:~/X] myork% g++ t.cpp
t.cpp: In function 'int main()':
t.cpp:10: error: 'N::N(const N&)' is private
t.cpp: 25:错误:在此上下文中
t.cpp:10:错误:'N::N(const N&)' 是私有的
t.cpp:26:错误:在此上下文中

这是一些真实代码的简化版本。
在实际代码中,我有一个包含 std::auto_ptr 的类。这意味着采用 const 引用的复制构造函数无效(没有一些工作),并且我收到一个错误,表明复制构造函数因此不可用:

也改变班级:

class N
{
    public:
        N(int)  {}
    private:
        std::auto_ptr<int>  data;
};

那么错误是:

t.cpp:25: 错误: 没有匹配函数调用'N::N(N)'</p>

4

2 回答 2

15

来自http://gcc.gnu.org/gcc-3.4/changes.html

将类类型的右值绑定到引用时,类的复制构造函数必须是可访问的。例如,考虑以下代码:

class A 
{
public:
  A();

private:
  A(const A&);   // private copy ctor
};

A makeA(void);
void foo(const A&);

void bar(void)
{
  foo(A());       // error, copy ctor is not accessible
  foo(makeA());   // error, copy ctor is not accessible

  A a1;
  foo(a1);        // OK, a1 is a lvalue
}

乍一看这可能会令人惊讶,尤其是因为大多数流行的编译器都没有正确实现此规则(更多细节)。

这将由Core Issue 391在 C++1x 中修复。

于 2009-12-01T15:48:38.577 回答
5

此处标准的适用部分是 §8.5.3/5,它涵盖了引用的初始化和 §3.10/6,它说明了什么是右值,什么是左值(在 C++ 中并不总是很明显)。

在这种情况下,您的初始化表达式是:“N(1)”,因此您正在使用函数式表示法显式创建一个对象。根据 3.10/6,该表达式是一个右值。

然后我们必须按顺序遍历 8.5.3/5 中的规则,并使用第一个适用的规则。第一种可能性是表达式是否表示左值,或者可以隐式转换为左值。您的表达式是一个右值,隐式转换为左值需要一个返回引用的转换函数,在这种情况下似乎不存在,所以这似乎不适用。

下一条规则说引用必须是一个 const T (这里就是这种情况)。在这种情况下,表达式是类类型的右值,并且与引用兼容(即,引用指向同一个类或类的基类)。这意味着第 151 页底部的项目符号(C++ 2003 PDF 的 179)似乎适用。在这种情况下,允许编译器将引用直接绑定到表示右值的对象,或者创建右值的临时副本并绑定到该临时副本。

然而,无论哪种方式,该标准都明确要求:“无论复制是否实际完成,用于制作复制的构造函数都应该是可调用的。”

因此,我认为gcc 给出错误消息是正确的,而其他人在技术上接受代码是错误的。我将您的代码简化为以下内容:

class N {
    public:
        N(int)  {}
    private:
        N(N const&);
};

void plop(N const& data) { }

int main() {
    plop(N(1));
}

当使用“--A”(严格错误模式)调用时,Comeau 会给出以下错误消息:

"plop.cpp", line 12: error: "N::N(const N &)", required for copy that was
          eliminated, is inaccessible
      plop(N(1));
           ^

同样,当使用“/Za”(其“符合 ANSI”模式)调用时,VC++ 9 给出:

plop.cpp
plop.cpp(12) : error C2248: 'N::N' : cannot access private member declared in class 'N'
        plop.cpp(6) : see declaration of 'N::N'
        plop.cpp(2) : see declaration of 'N'
        while checking that elided copy-constructor 'N::N(const N &)' is callable
        plop.cpp(6) : see declaration of 'N::N'
        when converting from 'N' to 'const N &'

我的猜测是大多数其他编译器的功能大致相同。由于它们优化了对复制构造函数的调用,因此它们通常不要求它存在或可访问。当您要求他们尽可能准确地符合标准时,他们会给出错误消息,因为即使他们不使用它,这在技术上也是必需的。

于 2009-12-01T16:39:38.003 回答