（已知）VC12 中的编译器错误？

Question

该程序在使用 VC12（在 Visual Studio 2013 RTM 中）^[1] 编译时会导致崩溃（在所有构建配置中），而实际上它不应该：

#include <string>

void foo(std::string const& oops = {})
{
}

int main()
{
    foo();
}

我知道两个可能相关的无声的错误代码生成错误：

• https://connect.microsoft.com/VisualStudio/feedback/details/800364/initializer-list-calls-object-destructor-twice
• http://connect.microsoft.com/VisualStudio/feedback/details/800104/

老实说，我认为这些是不同的。有谁知道

1. 在连接上是否存在主动跟踪的错误
2. 是否有解决方法（或明确描述导致此错误的情况，以便我们可以在代码库中查找/避免它）？

---

^[1] 只需使用 C++ 控制台应用程序“向导”创建一个空项目。为简单起见，禁用预编译头并保留所有默认值：http://i.stack.imgur.com/rrrnV.png

Answer 1

看起来Visual Studio 在默认参数是初始化程序列表 时，它调用的构造函数只是被破坏了。这段代码：

#include <iostream>

struct test {
  test ()  { std::cout << "test ()" << std::endl ; } 
  test (int)  { std::cout << "test (int)" << std::endl ; }
};

void func( test const &s = {} )
{
}

int main()
{
    test s = {} ;
    func() ;
}

在gcc 和clang 中产生此结果，请参阅live here：

test ()
test ()

而Visual Studio 产生这个结果：

test ()
test (int)

对于这段代码：

#include <iostream>
#include <initializer_list>

struct test {
  test ()  { std::cout << "test ()" << std::endl ; };

  test (int)  { std::cout << "test (int)" << std::endl ; };
  test ( std::initializer_list<int>) { std::cout << "test (initializer_list<int>)" << std::endl ; } ;
};

void func( test const &s = {0} )
{
}

int main()
{
    test s = {0} ;
    func() ;
}

gcc 和 clang 产生这个结果看它live here:

 test (initializer_list<int>)
 test (initializer_list<int>)

Visual Studio 产生此错误：

 error C2440: 'default argument' : cannot convert from 'initializer-list' to 'const test &'
    Reason: cannot convert from 'initializer-list' to 'const test'
    No constructor could take the source type, or constructor overload resolution was ambiguous

更新

为了进行完整性检查，我回到了标准，以确保在这种差异的根源上没有一些奇怪的规则，或者可能是某些限制导致此代码格式错误。据我所知，这段代码不是格式错误的。 8.3.5 语法部分特别允许这样做：

parameter-declaration:
  attribute-specifier-seqopt decl-specifier-seq declarator
  attribute-specifier-seqopt decl-specifier-seq declarator = initializer-clause
  [...]

这似乎不像 8.5 部分 Initializers 或 8.3.6 默认参数 添加任何限制，但此缺陷报告 994. braced-init-list as a default argument 和工作文件 Wording for brace-initializers as default arguments 使很明显，它是有意的，并概述了对标准所做的更改以允许它，并且查看增量没有明显的限制。

Answer 2

在November 中发布了一个活跃的问题。发布的示例代码是：

Compile and run following code in VS2013

#include <string>

void f(std::string s = {}) {
}

int main(int argc, char* argv[]) {
    f();
    return 0;
}

微软已确认该错误。

那里似乎没有发布解决方法。 编辑 解决方法可以很容易地基于避免使用列表初始化器语法：

void f(std::string s = "");
void f(std::string s = std::string());
void f(std::string s = std::string {});

或者只是老式的（如果您不介意引入重载）：

void f(std::string s);
void f() { f(std::string()); }