構造方法對象作爲參數

Question

假設我有一個類，如下所示：

class A{ 
    int x ; 
    A(int i){ 
     x = i ; 
    } 
} 

我有具有作爲成員對象類A的一個實例，另一類B.

class B{ 
    int y ; 
    A obj_a ; 
    B(int j , A a){ 
     y = j ; 
     obj_a = a ; 
    } 
} 

當我做到以下幾點：

int main(){ 
     A obj1(1) ; // obj.x has value 1 
     B obj2(2 , obj1) ; 
    } 

第二行拋出一個錯誤說形式的無函數調用:: A（）。我知道這意味着缺少一個默認樣式構造函數，但爲什麼我需要這個呢？ obj1是使用定義的構造函數創建的，因此不是問題。

我目前的想法是A a和obj_a = a會調用隱式定義的複製構造函數。

注意：爲簡潔起見，我已排除私人，公共等。

Answer 1

的對象必須是完全一致的，其所有成員的構成，由一次進入構造函數的主體。因此，在

B(int j , A a){ 
    y = j ; 
    obj_a = a ; 
} 

前

{ 
    y = j ; 
    obj_a = a ; 
} 

都有機會做任何事情，obj_a必須已經建立。

由於對如何構建obj_a沒有該命令而提供的Member Initializer List，obj_a將與A類的默認構造函數來構建。類A沒有默認的構造函數，沒有A::A()，所以引發錯誤。

解決方法是使用成員初始化程序列表，而不是在函數體內賦值。這不僅可以幫助您構建一個會立即被覆蓋的對象，編譯器還可以通過更多的途徑來優化，並且您可能會進行一些其他小改進。

類B應該是：

class B{ 
    int y ; 
    A obj_a ; 
    B(int j , A a): y(j), obj_a(a) 
    { 
    } 
} 

Answer 2

obj_a = a調用operator=，而不是複製構造函數。事情是，obj_a使用默認構造函數進行初始化，因爲您尚未指定在初始化程序列表中調用哪個構造函數。

B(int j , A a) /*: obj_a{}*/ { /*...*/ } 
       ^^^^^^^^^^^^^ 
      implicit call to default constructor 

你必須顯式調用構造函數的成員初始化列表中的一個論點：

B(int j , A a) : obj_a{ a } { /*...*/ }