Visual C 的示例不合格的代码？

Question

使用 Visual C++ 时有哪些不符合标准的代码示例？允许在 Visual C++ 下编译的东西，但没有其他东西。

Answer 1

您可以在此处找到所有 Microsoft 语言扩展；您可能还想了解一下语言领域，其中VC++ 不符合标准。

我认为是标准的（当我启用 /Za switch) 是“神奇的左值转换”：

char *p;
(( int * ) p )++; 

Answer 2

Visual C++ 的某些版本接受将非常量引用传递给临时对象。像这样的东西：

void DoSomething(std::string& str);

void NonConformantFunction()
{
    DoSomething("Temporary std::string created here");
}

Answer 3

“允许编译的东西
在 Visual C++ 下，但没有其他”

和

“不符合标准的代码
合规”

并不描述完全相同的事情。编译器可能完全兼容标准，同时具有该编译器独有的扩展，而不兼容是标准明确禁止的事情。还有许多“未定义”或ISO 标准的“实现定义”部分可能会阻止可移植性而不不兼容。此外，许多受支持的扩展都受到其他编译器的支持，因此这是您的约束之一的示例，但不是另一个约束

。导致其代码不可移植的 VC++ 扩展是所有 C++/CLI 扩展，因此也是需要它们的 .NET Framework 类库。

Answer 4

microsoft.com 上有一个 官方页面 说明了哪些部分VC++ 与标准不兼容。然而，另一个问题是它默认与标准兼容。例如，for变量的默认范围是仍然错误VC++2010。

Answer 5

我没有 VC 编译器来测试这个，但如果我没记错的话，无论注释的错误如何，它都可以在 Visual Studio 中正常编译：

template <typename T>
struct base {
   void foo() {
      T::type v = 0;    // standard requires typename here
      std::cout << v << std::endl;
   }
};
template <typename T>
struct derived : base<T>
{
   void bar() {
      foo();            // foo() is not dependent this should not compile   
   }
};
struct test {
   typedef int type;
};
int main() {
   derived<test> o;
   o.bar();
}

Answer 6

MSVC++ 允许您做的一件事是在类中显式地专门化模板。例如。

class X {
public:
    template <typename T> void doStuff(T value);

    template <> void doStuff<bool>(bool value) {
        // ..do something specific to bool.
    }
};

这在 VS 中编译得很好，但尝试在 GCC 中编译会给出错误，告诉您在非命名空间范围中有显式专业化。解决办法就是简单地把专业化拉长。

class X {
public:
    template <typename T> void doStuff(T value);
};

template <> void X::doStuff<bool>(bool value) {
    // ..do something specific to bool.
}

不过，根据规范，GCC 在这个问题上是正确的，规范规定所有显式专业化都应该在命名空间范围内。

可能值得注意的是，在后一种情况下，您必须在头文件中定义您的专业化，而不是像您通常期望的那样在实现文件中定义。提到的两个编译器都不符合解决此问题的标准，即在实现文件中的专门化上声明的 export 关键字。不过，大多数编译器并未实现此功能，并且计划从下一版本的规范中删除它。