非標準行為

發行項
06/09/2015

以下各節列出 C++ 的 Visual C++ 實作與 C++ 標準不一致的地方。下列章節編號是指 C++ 11 標準 (ISO/IEC 14882:2011(E)) 中的章節編號。

編譯器限制說明與 C++ 標準定義不一致之編譯器限制的清單。

Covariant 傳回類型

當虛擬函式具有可變數目的引數時，不支援虛擬基底類別做為 Covariant 傳回類型。不符合 C++ ISO 規格第 7 段的第 10.3 節。下列範例無法編譯，會出現編譯器錯誤 C2688。

// CovariantReturn.cpp
class A 
{
   virtual A* f(int c, ...);   // remove ...
};

class B : virtual A
{
   B* f(int c, ...);   // C2688 remove ...
};

樣板中的繫結非相依名稱

Visual C++ 編譯器目前不支援在開始剖析樣板時繫結非相依的名稱。不符合 C++ ISO 規格的第 14.6.3 節。可能會在樣板出現後 (但在樣板具現化之前) 造成宣告多載。

#include <iostream>
using namespace std;

namespace N {
   void f(int) { cout << "f(int)" << endl;}
}

template <class T> void g(T) {
    N::f('a');   // calls f(char), should call f(int)
}

namespace N {
    void f(char) { cout << "f(char)" << endl;}
}

int main() {
    g('c');
}
// Output: f(char)

函式例外狀況規範

會剖析但不使用 throw() 以外的函式例外狀況規範。不符合 ISO C++ 規格的第 15.4 節。例如：

void f() throw(int); // parsed but not used
void g() throw();    // parsed and used

如需例外狀況規格的詳細資訊，請參閱例外狀況規格。

char_traits::eof()

C++ 標準指出 char_traits::eof 不可對應有效的 char_type 值。 Visual C++ 編譯器會對 char 類型強制執行這項條件約束，但不會對 wchar_t 類型強制執行。這不符合 C++ ISO 規格第 12.1.1 節表 62 的要求。以下範例即為示範。

#include <iostream>

int main()
{
    using namespace std;

    char_traits<char>::int_type int2 = char_traits<char>::eof();
    cout << "The eof marker for char_traits<char> is: " << int2 << endl;

    char_traits<wchar_t>::int_type int3 = char_traits<wchar_t>::eof();
    cout << "The eof marker for char_traits<wchar_t> is: " << int3 << endl;
}

物件的儲存位置

C++ 標準 (第 6 段第 1.8 節) 要求完整的 C++ 物件必須具有唯一的儲存位置。不過，使用 Visual C++ 時，有些情況是沒有資料成員的類型會與其他類型共用物件存留期的儲存位置。

共用方式為