爲什麼？從未初始化的父類成員隱式初始化

Question

我有一個C++初始化的令人討厭的經驗，我試圖看看是否有一個現實世界的例子證明編譯器沒有警告。

以下代碼編譯正確，但foo和bar會使用uninit值（我從未初始化的父類假定）進行初始化。編譯器，g ++和VS都不會發出任何警告。 我當然被告知，將成員公開並且不裝飾它們是不好的行爲。但是，我認爲編譯器可能會發現這種不一致，並且至少在最高警告級別發出警告，因爲我看不到任何此類代碼的應用程序。

#include <iostream> 
using namespace std; 

class base_class { 
    public: 
     int foo; 
     int bar; 

    base_class(int foo,int bar): 
     foo(foo),bar(bar) 
    {} 
}; 

class derived_class: public base_class { 
    public: 
    derived_class(int Foo, int Bar): 
     base_class(foo,bar) 
    { 
        int a = Foo * Bar; 

        a++; 
        cout << foo << " " << bar << endl; 
    } 
}; 

int main() 
{ 
    derived_class *buzz = new derived_class(1,2); 
    buzz->print(); 
} 

Answer 1

我認爲你的問題是，你必須以大寫字母構造函數參數：

用下面的代碼，我得到了正確的價值觀：

#include <iostream> 
using namespace std; 

class base_class { 
    public: 
     int foo; 
     int bar; 

    base_class(int foo,int bar): 
     foo(foo),bar(bar) 
     { 
     int a = foo * bar; 

     a++; 

     cout << "Base : " << foo << ", " << bar << ", " << a << endl; 
    } 

}; 

class derived_class: public base_class { 
    public: 
    derived_class(int foo, int bar): 
     base_class(foo,bar) 
    { 
     cout << "derived : " << foo << ", " << bar << endl; 
    } 
}; 

int main() 
{ 
    derived_class baz(1,2); 
} 

輸出：

Base : 1, 2, 3 
derived : 1, 2 

然後會發生什麼情況是您的成員被初始化爲未初始化的成員值:)

MY2C

Answer 2

此：

#include <iostream> 

class base_class { 
public: 
    int foo; 
    int bar; 
    base_class(int foo,int bar) : foo(foo),bar(bar) {} 
}; 

class derived_class : public base_class { 
public: 
    derived_class(int foo, int bar) : base_class(foo,bar) {} 
}; 

int main() 
{ 
    derived_class baz(1,2); 
    std::cout << baz.foo << ", " << baz.bar << '\n'; 
    return 0; 
} 

編譯罰款我使用VC9和VC10並在這兩種情況下寫1, 2。你還有其他什麼嗎？

但是，請注意，同時命名您的成員變量和構造函數參數都會造成混淆。

標準免責聲明：除了這樣愚蠢的例子，千萬不要使用public數據。

Answer 3

在編譯時需要分析使用未初始化變量的分析非常複雜，並且似乎只有在啓用優化時GCC纔會這樣做。據推測有人認爲它放慢了一個非優化的構建不可接受。

用g++ -Wall -O編寫代碼確實會發出警告。我無法對Visual Studio發表評論。

Answer 4

你更新的代碼顯示您的問題：

在第17行使用foo和酒吧從base_class調用base_class與尚未initiliazed屆時值構造函數。結果是未定義的行爲，因此是奇怪的值。正如邁克所說：你只會在打開優化的情況下發出警告，這很奇怪。

Answer 5

我想你並沒有編譯所有激活的警告（你真的應該）。例如，在你的代碼，這裏是G ++輸出：

g++ -O3 -W -Wall init.cc -o init 
init.cc: In function ‘int main()’: 
init.cc:22: warning: ‘baz.derived_class::<anonymous>.base_class::foo’ is used uninitialized in this function 
init.cc:28: note: ‘baz.derived_class::<anonymous>.base_class::foo’ was declared here 
init.cc:22: warning: ‘baz.derived_class::<anonymous>.base_class::bar’ is used uninitialized in this function 
init.cc:28: note: ‘baz.derived_class::<anonymous>.base_class::bar’ was declared here 

你會注意到-W -Wall以確保最大的警告。否則，正如前面所指出的那樣，錯誤在用於變量初始化的情況下。