是否可以在結構體外寫入自動投射運算符？

Question

確切的情況是： 我已經在系統API結構中定義了CGPoint和CGSize，我希望能夠寫出my_point = my_size。 我不能修改CGPoint結構體，只能寫外部運算符。我可以編寫二進制運算符（+,-，...），但operator=必須在結構中聲明。那麼還有其他解決方案嗎？

Answer 1

爲了表達a = b;編譯你需要，它利用b類型，或類型從b隱式轉換的元素a類型要麼有一個operator=。

第一種情況被排除，因爲operator=必須是班級的成員，並且由於您無法修改GLPoint，因此您不能添加GLPoint& GLPoint::operator=(GLSize)。

第二種情況存在相同類型的問題。從GLSize到GLPoint的隱式轉換可以作爲GLPoint（排除）中的隱式構造函數來實現，或者作爲中的成員operator GLPoint()來實現，這需要修改GLSize。轉換不能作爲自由功能添加。

替代方法使用非運算符語法，如添加免費函數assign（或copy）：GLPoint& assign(GLPoint&, GLSize const &)。

接下來的問題是你爲什麼要這麼做。如果GLPoint和GLSize的設計者不認爲大小應該可以分配給某個點，那麼您爲什麼覺得它們應該是可分配的？通常，將類型分開是個不錯的主意，因爲這將使編譯器能夠檢測到您在代碼中可能犯的錯誤。

如果允許GLSize到GLPoint隱式轉換，你可能會被錯誤類型是這樣的：distance(point1, size2)，你的意思distance(point1, point2)，而且因爲有一個轉換，編譯器會很高興地轉化和應用。然後你會看到奇怪的結果，你將花費不少好的調試時間，試圖確定邏輯錯誤的地方。

除非域名對每個運營商在這種情況下的含義有非常明確的定義，否則我將不惜一切代價避免運營商超載。將大家立刻讀懂你的代碼瞭解什麼GLPoint(1,2) + GLSize(5)代表毫無疑問或含糊不清？如果不是這種情況，如果人們會感到驚訝，甚至懷疑，則避免操作符重載和使用命名功能：move_up(GLPoint&, GLSize)（或任何點+尺寸意味着你）

Answer 2

當您將CGSize到CGPoint - 什麼發生？把它溶解到一些運營商那裏，然後你有它 - 例如

CGPoint& operator|=(CGPoint& cPoint, CGSize const& cSize) 
{ 
    // now set attributes of cPoint that you can extract from cSize 

    return cPoint; 
} 

這有什麼困難嗎？這裏是一個例子：http://www.ideone.com/FZN20

Answer 3

如果你可以派生或包裝CGPoint並在整個代碼中使用新類，那麼你可以提供你喜歡的任何操作符。新班級可以有一個轉換操作員到CGPoint，以促進與現有功能的交互。

Answer 4

其他答案接縫錯過顯而易見的解決方案：添加一個函數將CGPoint轉換爲CGSize。關當然，這不是正是你想要的（size = point），但因爲你不能修改兩類要麼，這是唯一的方法：

CGSize ToSize(const CGPoint &pt) 
{ 
    CGSize res = ... 
    // do the conversion 
    return res; 
}