匿名臨時變量和類模板參數推導 - 的gcc VS鐺

Question

考慮下面的代碼片斷：

template <typename T> 
struct foo 
{ 
    foo(T) { } 
}; 

int main() 
{ 
    foo{0}; 
} 

克++ 7愉快地創建foo類型的臨時對象，推導T = int。

鐺++ 5和6拒絕編譯的代碼：

error: expected unqualified-id 
    foo{0}; 
    ^

live example on wandbox

---

這是一個鐺錯誤，或者是有一些在標準防止類模板參數扣除從踢入未命名的臨時文件ES？

Answer 1

鏘蝽（#34091）

從[dcl.type.class.deduct]：

一種用於推導的類類型的佔位符也可以在使用[...] 或作爲簡單型說明符在explicit type conversion (functional notation)。推導出的類類型的佔位符不應出​​現在任何其他上下文中。 [實施例：

template<class T> struct container { 
    container(T t) {} 
    template<class Iter> container(Iter beg, Iter end); 
}; 

template<class Iter> 
container(Iter b, Iter e) -> container<typename std::iterator_traits<Iter>::value_type>; 
std::vector<double> v = { /* ... */ }; 

container c(7);       // OK, deduces int for T 
auto d = container(v.begin(), v.end()); // OK, deduces double for T 
container e{5, 6};      // error, int is not an iterator 

- 端示例]