复制构造函数方法的用法

Question

在我的代码中，我使用inner-class作为另一个类的迭代器。

为了简化情况，代码可以如下所示：

class A {
public:
    class B {
    public:
        explicit B(void):idx(3){}
        B(const B&b)  {
            idx = 4;    // never be called
        }
    private:
        int idx=0;
    };
    B getB()
    {   return A::B();   }
};
void test2(){
    A a;
    A::B b = a.getB();  // b.idx ends with value of 3
}

问题是，在test2()中，在运行A::B b = a.getB();时，没有调用复制构造函数方法。b以价值3结束.这是为什么呢？

对于另一个让我感到困惑的问题

class A {
public:
    class B {
    public:
        explicit B(void):idx(3){}
        explicit B(const B&b) {}  // C2440, cannot convert from "A::B" to "A::B"
    private:
        int idx=0;
    };
    B getB()
    {   return A::B();  }
};

为什么C2440两种类型会完全相同？

Answer 1

你看到的是复制省略。为了使优化器更容易加速生成的代码，C++标准允许在某些情况下跳过复制构造函数。

Answer 2

C++语言不能保证复制(或移动(构造函数的副作用在抽象机器中是可观察到的。这种非保证允许编译器在不需要临时对象时避免使用临时对象，从而避免在具体机器中复制这些对象。

程序依赖于复制构造函数的副作用。这很糟糕;别这样。