模板参数扣除在Clang 6中为临时物体打破

Question

对于临时对象,在Clang 6中似乎打破了模板参数推断.

g ++ 8.1.0正确编译并运行示例.

Clang 6.0.0和6.0.2在指示的行上都出错,并显示以下消息:

error: expected unqualified-id
    Print{1,"foo"s,2};  /********** Broken in Clang **********/

所有其他行正常工作.

该行为是在两种情况下是否相同-std=c++17或-std=c++2a使用.

Clang c ++状态页面表示模板参数推断是从Clang 5(P0091R3,P0512R0)开始实现的.

这是一个错误吗？是否有变通方法(例如编译器标志,而不是代码更改)？

例:

template<class ...Ts>
void print(Ts...ts){ (( cout << ... << ts )); }
template<class ...Ts>
struct Print {
    Print(Ts...ts){ (( cout << ... << ts )); }
};

int main(){
    Print{1,"foo"s,2}; /********** Broken in Clang **********/
    Print<int,string,int>{1,"foo"s,2};
    auto p1 = Print{1,"foo"s,2};
    Print p2{1,"foo"s,2};
    print(1,"foo"s,2);
}

Answer 1

这是Clang bug 34091.

幸运的是,它已经修复了,Clang的trunk构建没有问题.

据我所知,目前还没有办法在没有代码更改的情况下解决这个问题,而不管是什么时候升级到下一个Clang版本.