（默认）为每个可变参数类型构造一个对象

Question

考虑这段代码sn-p：

void Foo(std::string str1, std::string str2) {}

template<typename... Types>
void Bar()
{
    Foo(Types{}...); // wont compile
}

Bar<std::string, std::string>();

我在这里要做的是在Bar 方法中默认构造两个std::string 对象并将它们传递给Foo。但是我徒劳的尝试（其中一个在 sn-p 中）无法编译，所以我想知道这是否可能。

我使用 VC 2013 编译，这会引发编译器错误。如 cmets 中所述，其他编译器可以处理它。谁能说出上面的 sn-p 是否符合标准？

Answer 1

是MSVC可变参数模板扩展过程中的问题；当它解包类型列表时，它无法将它们识别为适合构造函数调用。作为一种解决方法，您可以执行类型转换以强制编译器识别它们：

template<typename T> using identity_t = T;  // NEW CODE

void Foo(int, int);

template<typename... Types>
void Bar()
{
    Foo(identity_t<Types>{}...);  // use identity type transformation
}

int main() {
    Bar<int, int>();
}

我还没有找到问题编号。

Answer 2

这会使我的 VC 2013 编译器崩溃。这些错误似乎表明它在解析代码时遇到了一些问题。所以当编译器崩溃时，它一定是编译器的错误。

1>main.cpp(23): error C2144: syntax error     : 'std::string' should be preceded by ')'
1>          main.cpp(28) : see reference     to function template instantiation 'void Bar<std::string,std::string>(void)' being compiled
1>main.cpp(23): error C2660: 'Foo' :     function does not take 0 arguments
1>main.cpp(23): error C2143: syntax error     : missing ';' before '{'
1>main.cpp(23): error C2143: syntax error     : missing ';' before ','
1>c1xx : fatal error C1063: INTERNAL COMPILER ERROR
1>           Please choose the Technical Support command on the Visual C++ 
1>           Help menu, or open the Technical Support help file for more information
1>cl : Command line warning D9028: minimal rebuild failure, reverting to normal build
1>
1>Build FAILED.