C++模板和模糊问题

Question

我有一个指针类的子集，它看起来像：

template <typename T> 
struct Pointer 
{ 
    Pointer(); 
    Pointer(T *const x); 
    Pointer(const Pointer &x); 
    template <typename t> 
    Pointer(const Pointer<t> &x); 

    operator T *() const; 
}; 

最后一个构造函数的目标是允许通过一个子类的Pointer，或者基本上任何类型的是可以隐式转换为T *。这个实际规则只能通过构造函数的定义来实施，编译器实际上无法通过声明单独解决。如果我放弃它，并尝试将Pointer<Sub>传递给构造函数Pointer<Base>，则会出现编译错误，尽管通过operator T *()可能会有路径。

虽然它解决了上述问题，但它创建了另一个。如果我有一个重载函数，其中一个超载需要一个Pointer<UnrelatedClass>，另一个需要Pointer<BaseClass>，并且我尝试用Pointer<SubClass>来调用它，但是我在两个重载之间产生了一个模糊性，目的是，后者的重载将被称为。

有什么建议吗？ （希望我是足够清晰的）

Answer 1

治愈你的问题被称为SFINAE（替换故障是不是一个错误）

#include "boost/type_traits/is_convertible.hpp" 
#include "boost/utility/enable_if.hpp" 

template<typename T> 
class Pointer { 
    ... 
    template<typename U> 
    Pointer(const Pointer<U> &x, 
     typename boost::enable_if< 
     boost::is_convertible<U*,T*> 
     >::type* =0) 
    : ... 
    { 
    ... 
    } 
    ... 
}; 

如果U *转换为T *的enable_if将不得不违约作废一个typedef成员type。然后，一切都很好。如果U *不能转换为T *，则此typedef成员缺失，替换失败，构造函数模板将被忽略。

这解决了您的转换和模糊性问题。

在回应评论：is_convertible看起来是这样的：

typedef char one;   // sizeof == 1 per definition 
struct two {char c[2];}; // sizeof != 1 

template<typename T, typename U> 
class is_convertible { 
    static T source(); 
    static one sink(U); 
    static two sink(...); 
public: 
    static const bool value = sizeof(sink(source()))==1; 
}; 

Answer 2

尽量让有问题明确的构造函数，例如：

template <typename t> 
explicit Pointer(const Pointer<t> &x); 

和/或删除operator T *() const; - 我想，这其中也将产生歧义。

编辑

检查std::auto_ptr接口，并与你进行比较。至少他们解决了歧义。