为什么使用格式错误的函数而不是隐式转换？

Question

这是我的片段：

class Base{};

class Derived : private Base{};

template<class T>
class Wrapper
{
    public:
        template<typename T2>
        Wrapper( T2&& )
        { }
};

// Function declarations
void func( Base& param );
void func( Wrapper<Derived> );
void funcUnambiguous( Wrapper<Derived> );


// Here is the Call:
Derived d = Derived();  
func( d );               // <- Error

GCC 4.9 给了我：error: 'Base' is an inaccessible base of 'Derived'

而我这样做

Derived d = Derived();

funcUnambiguous( d );

它工作正常。

看起来，任何只需要廉价转换的函数，即使格式错误，也隐藏了隐式但昂贵的转换函数。有人知道吗？

Answer 1

已更新，感谢@T.C.

Wrapper的ctor是模板 用户定义的转换，因此非模板 标准转换序列 重载Base& 优先。访问检查仅在选择重载后执行 - 这对你来说太晚了。

完整的规则比较复杂，更多可以找到here，看“最佳可行函数”部分。