使用參考作爲模板類型

Question

在下面的示例中，Foo沒有按照預期進行，但我無法弄清楚爲什麼允許編譯。

​​

我使用模板發現這一點，但typedef顯示，其無關的模板。不用說，s在這裏不是一個有效的字符串。我認爲構造Foo返回值會產生編譯錯誤。

缺少什麼我在這裏？

Answer 1

首先，它沒有價值，這個問題實際上有模板沒有關係，因爲這個代碼編譯一個很好：

typedef std::string& T; 
T Foo(int& i) { 
    return T(i); 
} 

我認爲這個編譯的原因是return語句相當於

return reinterpret_cast<T>(i); 

萬一T恰好是參考成員。 ......當然，這是編譯的：你答應你知道你在做什麼，並請編譯器友好地相信你。

行，發現它在5.2.3 [expr.type.conv]段落1：

...如果表達式列表是一個單一表達式，類型轉換表達式是等效（在definedness，如果在含義中定義）與相應的演員表達（5.4）。 ...

...和5.4 [expr.cast]段落4：

由[其他形式的管型]進行轉換一個的reinterpret_cast（5.2.10）[...]可以使用顯式類型轉換的強制符號來執行。 [...]

（在省音涵蓋涉及用戶定義類型的情況下，內置的類型轉換，轉換const等）

Answer 2

這有什麼好做的模板，你會得到相同的結果如果T只是爲std::string&而非推導模板參數的類型定義：

#include <string> 

typedef std::string& T; 

T Foo(int & i) 
{ 
    return T(i); 
} 

int main() 
{ 
    int a = 1; 
    std::string & s = Foo(a); 
} 

迪特馬爾的回答讓我意識到這可以進一步簡化爲：

#include <string> 

typedef std::string& T; 

int main() 
{ 
    int a = 1; 
    std::string & s = T(a); 
} 

其中T(a)是一樣的鑄造(T)a即(std::string&)a其中（按5.4 [expr.cast]的規則）將做一個const_cast如果這是有效的（這是不）或static_cast如果這是有效（它不是）或static_cast後跟一個const_cast如果有效（不是）或reinterpret_cast如果有效（它是是）或reinterpret_cast後面是const_cast如果是有效的，否則表情不合格。

那麼作爲迪特馬爾說，這是一樣做一個reinterpret_cast，即

std::string & s = reinterpret_cast<std::string&>(a); 

我覺得很奇怪，原來的代碼編譯，但因爲它是同上面的內容，它允許編譯。雖然使用演員的結果是未定義的行爲。

爲避免出現T(a)等同於強制轉換的意外，請使用新的C++ 11統一初始化語法T{a}，該語法始終是初始化語句，而不是轉換表達式。

偉大的問題，調查和回答它顯示了我以前沒有意識到的一個新問題，這要歸功於JaredC和Dietmar的新知識！