默認賦值運算符參數

Question

當編譯如下：

template <class T> 
class Number 
{ 
    private: 
     T num; 
    public: 
     Number() {} 
     Number(T n) : num(n) {} 
     operator T() const { return num; } 
}; 

int main() 
{ 
    Number<int> n=5; 
    Number<char> c=4; 
    int i; 

    c=int(5); 
    i=n; 
    c=n; 

    return 0; 
} 

編譯器卡在第三次分配說沒有匹配在c=noperator=。 n不應該轉換爲int，而這又將被分配到c？

Answer 1

根據標準，最多隻有一個用戶定義的轉換（構造函數或轉換函數）隱式應用於單個值。在此，您希望編譯器將Number<char>的構造函數和Number<int>的轉換運算符應用。請參閱：https://stackoverflow.com/a/867804/677131。

Answer 2

這是因爲在使用模板類型char構建模板類時，沒有int運算符。

實際上，您在這裏沒有assigment運算符，只有構造函數和類型運算符。這意味着你的編譯器很可能已經把可能的線沿線的一個默認：

Number<T>& operator=(Number<T>& rhs); 

你應該實現自己的賦值運算符，這應該解決您的問題。通用解決方案可能如下，但依賴於類型之間的有效分配。

template <typename T, typename V> 
class Number 
{ 
    private: 
     T num; 
    public: 
     Number() {} 
     Number(T n) : num(n) {} 
     operator T() const { return num; } 
     operator=(V& rhs){ num = rhs; // etc } 
}; 

你也需要讓你的類的構造函數explicit避免隱式轉換（除非這是你想要的）。