C++構造函數沒有返回類型。究竟是爲什麼？

Question

我已經谷歌搜索和閱讀很多帖子，但有很多不同的答案，所有的邏輯意識，我想知道如果一個專家的專家可以揭開這個問題的神祕面紗。

有人說，沒有回報，因爲沒有辦法返回 - 語法禁止它 - 是的，這是有道理的，但我相信所有的函數都必須返回一些東西，不是嗎？ 其他人說，構造函數類返回新創建的對象本身，這似乎有意義，因爲在構造函數中使用賦值運算符。 還有一些人有其他有趣的解釋。

Answer 1

構造函數不像其他函數那樣調用，所以它們不像其他函數那樣返回。它們作爲某些結構的副作用（演員表，new，可變定義，ctor-initializer-list，按值傳遞，按值返回）。

Answer 2

構造函數就地構造，它不需要返回任何東西。

我相信，所有功能都返回的東西

void？

Answer 3

構造函數缺少返回類型 - 甚至沒有 void - 意味着您無法從C++代碼中調用構造函數。這就是要點。調用構造函數沒有任何意義。調用構造函數是非法的，消除了這類用戶錯誤的可能性。

編輯

巴恩斯是正確的，你不能調用構造函數的最終原因是，他們沒有名字。 （即使是這種忽略，你可以間接調用構造函數通過放置新的。）

再次嘗試：

你不能從你的C調用構造函數++代碼，因爲構造函數沒有名稱。使構造函數不具有返回類型，強調程序員構造函數是一種非常不同於其他函數的函數。如果構造函數返回任何東西，實際返回的是什麼，取決於供應商。

Answer 4

構造函數沒有指定返回類型，因爲它會是多餘的：除構造函數可能「返回」的構造函數外，沒有其他類型。我將「return」放在引號中，因爲技術上的構造函數不會返回任何東西：當它們在靜態上下文中被調用時，它們會初始化一個實例;當它們在動態上下文中被調用時，它是運算符new返回的內容，而不是構造函數。

Answer 5

但我相信所有的函數都必須返回一些東西，不是嗎？

不是。從函數返回值是什麼意思？那麼，實現的ABI將指定對於某些返回類型，函數會將某些寄存器或某些存儲器設置爲與堆棧指針相距一定的偏移量，然後將該函數返回的值設置爲該值。

很明顯，寄存器和內存存在並且在調用構造函數或void函數後包含數據，但是該語言表示這些函數不會返回任何內容，因此ABI沒有指定要查找哪些寄存器或內存以查找一個返回值。代碼無法設置返回值，調用代碼可以獲得任何返回值。

所以不，函數不必返回任何東西。

Answer 6

假設構造函數可以返回的東西，那麼這對於下面的函數調用問題的影響：

class Object{ 
    public: 
     bool Object(){ ... }; 
     ... 
}  

SomeFun(Object obj){ ... } 

SomeFun(Object()); 
// Ha! SomeFun jokes on an error about a non-Object argument(of type bool), returned 
// by the anonymous temporary Object() 

從返回防止構造函數，方便使用匿名臨時對象，還有更多的C++功能一起。如果沒有這樣的規則，無害的語句可以變得模棱兩可：

Object obj(Object()); 
// How does the variable obj decide which constructor to call, 
// based on its argument type? 
// 
// Does it call: bool Object::Object(Object&) or 
//     Object::Object(bool)(if it exists)? 

返回一個值的能力構造函數，創建對象的複雜化 - 具有單一明確的類型，類名，在沒有任意返回值，避免了這樣的問題。

讀者可以提出更多的例子，C++習語被缺少這樣的規則所阻礙嗎？

Answer 7

構造函數隱式返回類本身的一個實例。如果它被設計爲返回一些東西並且程序員返回了與類本身完全不同的東西，那將是矛盾的。基本上，語法會令人困惑。

Answer 8

構造函數可能是一個壞名字。它實際上是預構建對象的初始化工具。說明這一點最簡單的方法是不使用C++構造函數的等效構造的僞示例。

隨着構造

struct X { 
    int a; 
    X() { 
     a = -5; 
    } 
}; 

int main() { 
    X* x1 = new X(); // X created as a "reference object". 
    X x2;   // X created as a "value object" on the stack. 
    return x1->a - x2.a; 
} 

沒有構造函數現在

struct X { 
    int a; 
    void initialize() { 
     a = -5; 
    } 
    static X* create() { 
     X* res = (X*)malloc(sizeof(X)); 
     res->initialize(); 
     return res; 
    } 
}; 

int main() { 
    X* x1 = X::create(); // New constructed heap-allocated X 
    X x2;    // Stack-allocated X 
    x2.initialize();  // Manually initialized 
    return x1->a - x2.a; 
} 

，如果你想象X::initialize在第二個例子是要進行退貨，說bool指示成功或失敗，你會有一個問題。在main()中，不注意的程序員可能會以X未正確初始化，導致未定義的行爲（通常是在生產之前可能未發現的難以調試的崩潰）。

這是構造函數特殊化的核心原因之一。退出構造函數的唯一兩種方式是通過正常完成或通過異常，然後由調用方處理（或傳遞到堆棧上），然後由必須。在任何情況下，您都會阻止以未初始化的對象結束。

作爲一個側面提示，未初始化的對象是C中更常見的錯誤原因之一，它沒有任何東西可以幫助程序員這樣做。