混沌 IN C++::轉換函式

難度:

問題:

    下面這段代碼為什麼會編譯失敗呢?

 

struct T

{

    operator
std::string() const

    {

       return
std::string();

    }

   

    operator
int() const

    {

       return
int();

    }

};

 

int  
main()

{

    T t;

    int
i = t;

    std::string s = t;

   

    i == t;    //成功

    s == t;    //失敗

}

 

回答:

    因為標準庫沒有提供bool operator==(const
std::string&, const std::string&);這樣的重載，而是提供了

    template<typename CharT, typename
Traits, typename Alloc>

    bool
operator==(const std::basic_string<CharT, Traits, Alloc>&, const std::basic_string<CharT,
Traits, Alloc>&);

 

    當s == t 進行比較的時候，編譯器用第一個參數s可以推匯出CharT, Traits, Alloc這三個模板參數，然後用t來推導，結果是無法完成推導，因為t並不是basic_string<>。那T中的operator std::string() const的轉換函式在這裡有什麼作用呢?事實上，這個轉換函式在這裡一點用也沒有，C++沒有提供一個規則是先轉換再推導函數模板參數的。解決這個問題的辦法，就是讓編譯器在推導第二個參數的類型之前，顯式地將t轉換為std::string。

s == std::string(t);

   

    到這一步，有人又會納悶，basic_string也沒提供basic_string(const
std::string&)的建構函式啊，而是提供的

    template<typename CharT, typename
Traits, typename Alloc>

    basic_string(const basic_string<CharT, Traits, Alloc>&);

    按照上面的說法，那顯式轉換std::string(t)是怎麼完成推導函數模板參數的呢? 其實std::string並不是類模板了，而是被執行個體化成basic_string<char>這個模板類，std::string(t)也沒有進行推導，因為已經明確了CharT, Traits,
Alloc這三個模板參數，所以這時的operator std::string() const起作用了。