在隱式轉換的智能指針上刪除函數調用中的歧義

Question

我正在閱讀Scott Meyers的智能指針上的項目28 更有效的C++並存在以下問題。

完整的演示可在http://ideone.com/aKq6C0找到。

派生類指針可以隱含地轉換爲基類指針：

class Base {}; 
class Derived : public Base {}; 
void foo(Base* b) { cout << "foo called on Base pointer" << endl;} 
Derived *d = new Derived(); 
foo(d); //No problem 

但這樣的隱式轉換不能發生用於智能指針，即SmartPtr<Derived>不能隱式轉換爲SmartPtr<Base>。所以，我們用一個成員模板這樣的轉換：

template<typename T> 
class SmartPtr { 
public: 
    //constructors, operator->, etc 

    //member template for type conversion 
    template<NewType> 
    operator SmartPtr<NewType>() { 
    return SmartPtr<NewType>(pointee); 
    } 
private: 
    T* pointee;//the raw pointer 
}; 

這幾乎可以工作，但它會引起歧義：

class Remote {}; 
class Base : public Remote {}; 
class Derived : public Base {}; 
void foo(const SmartPtr<Remote>& p) { cout << "remote" << endl;} 
void foo(const SmartPtr<Base>& p) { cout << "base" << endl;} 

SmartPtr<Derived> d(new Derived()); 
foo(d);//compile error: ambiguity 

在這個例子中，編譯器不知道它是否應該d轉換爲SmartPtr<Base>或SmartPtr<Remote>，儘管對於原始指針Base顯然是優越的。這本書說

我們可以做的最好的辦法是使用成員模板生成轉換函數，然後在出現歧義結果的情況下使用強制轉換。

但是我們到底該如何施展？ foo(static_cast<SmartPtr<Base>>(d))也不能編譯。從錯誤消息中我可以看出，錯誤來自在SmartPtr的複製構造函數中使用非const引用。我想知道什麼是進行函數調用的正確方法。

Answer 1

//constructors 

這是你省略了:)

你投是這樣正確的最重要的部分，這一切都取決於你設置有構造函數。如果你有一個非const的引用 - 你會得到你提到的錯誤，如果你可以將ref修改爲在ct中的const並且代碼將被編譯。

可能不是很明顯，但是當你調用

return SmartPtr<NewType>(pointee); 

你正在構建新的SmartPtr<NewType>有接受T*，並NewType和T是不同的類型。很可能你只有ctor接受相同類型的原始指針（即T*爲SmartPtr<T>和爲SmartPtr<X>），所以編譯器是尋找另一個converting ctor以創建新的SmartPtr，發現您的拷貝構造函數，但它不能將新值綁定到非const的參考

---

編輯：

如果您正在使用C++ 11加入移動男星也將解決你的問題，因爲它是能夠綁定到右值

SmartPtr(SmartPtr<T>&& other): pointee(other.pointee) { other.pointee = nullptr; }