類的實例語法

Question

我一直被教導說

1. Class c(arg); 

和

2. Class c = arg; 

是兩個完全等效的語句，但看這情形。

#include <iostream> 

class Intermediary { 
}; 

class Left { 
    public: 
    Left(const Intermediary &) { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 
}; 

class Right { 
    public: 
    // The argument is there just so that the example can work, see below 
    Right(int) { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 

    operator Intermediary() const { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 

     return Intermediary();  
    } 
}; 

現在，如果我這樣做：

Left l = Right(0); 

編譯器會抱怨

error: conversion from Right to non-scalar type Left requested 

但是，如果我這樣做：

Left l(Right(0)); 

然後，一切都編譯並輸出是

Right::Right(int) 
Right::operator Intermediary() const 
Left::Left(const Intermediary&) 

但是，如果我這樣做：

Left l = (Intermediary)Right(0); 

然後一切重新編譯和輸出就像上面的一個。

所以很明顯

1. Class c(arg); 

和

2. Class c = arg; 

是不一樣的，但爲什麼不呢，這有什麼區別？我在網上找不到任何東西。

Answer 1

我總是被教導說Class c(arg);和Class c = arg;是兩個完全等同的陳述，但看看這種情況。

原來，他們是不等價的。第一個構建Class c出arg的，而第二個構建一個Class出arg的，然後複製構建體Class c出來。請注意，允許執行該副本，並且通常會執行該副本。

Left l = Right(0); 

這需要從Right到Intermediary轉換，和一個從Intermediary到Left。這兩個連續的用戶定義的轉換是標準所不允許的，您必須至少在其中一個顯式地執行以下操作：

Left l = (Intermediary)Right(0);