14

背景信息：这是在 Visual Studio 2008 上检测到的，并在 Visual Studio 2013 上再次确认。G++ 对代码大喊大叫，而 Visual 默默地接受了私有继承漏洞。

因此，在 Visual C++ 上，我们有以下代码：

class Base {};
class Derived : Base {};      // inherits privately. Adding explicitly the
                              //    keyword private changes nothing

int main()
{
   std::auto_ptr<Base>(new Derived) ;   // compiles, which is NOT EXPECTED
   std::auto_ptr<Base> p(new Derived) ; // Does not compile, which is expected
}

为什么第一个（临时）auto_ptr 会编译？我在调试中进入它，它完全按照公共继承应该做的事情（调用正确的构造函数等）

想知道问题是否与 auto_ptr 实现有关（我们永远不知道......），我减少了这个独立代码的问题：

class Base {};
class Derived : Base {};

template <typename T>
class Ptr
{
   T * m_p;

   public :
      Ptr(T * p_p)
         : m_p(p_p)
      {
      }
} ;

int main()
{
   Ptr<Base>(new Derived) ;   // compiles, which is NOT EXPECTED
   Ptr<Base> p(new Derived) ; // Does not compile, which is expected
}

同样，我希望代码不会编译，因为 Derived 是从 Base 私下继承的。

但是当我们创建一个临时的时，它就起作用了。

我们不能把它归咎于 std::auto_ptr。

我错过了标准中的某些内容（98 或 11 或 14），还是这是一个错误？

4

1 回答 1

3

即使继承是私有的， Derived*-to-转换也允许在 C 样式和函数转换中。Base*不，这并不意味着reinterpret_cast在那种情况下。

这是标准不允许的，但看起来几乎是允许的，所以这是一个微妙的错误。

5.2.3 显式类型转换（函数表示法）[expr.type.conv]

1 [...] 如果表达式列表是单个表达式，则类型转换表达式等效于（在定义上，并且如果在含义上定义）对应的强制转换表达式 (5.4)。[...]

5.4 显式类型转换（强制转换表示法）[expr.cast]

4 执行的转换

  • 一个const_cast（5.2.11），
  • 一个static_cast（5.2.9），
  • astatic_cast后跟 a const_cast,
  • a reinterpret_cast(5.2.10)，或
  • areinterpret_cast后跟 a const_cast,

可以使用显式类型转换的强制转换表示法来执行。相同的语义限制和行为适用，除了在 static_cast以下情况下执行转换时有效，即使基类不可访问：

  • 指向派生类类型对象的指针或派生类类型的左值或右值可以分别显式转换为指向明确基类类型的指针或引用；
  • [...]

在您遇到的情况下，编译器将其解释为static_castfrom Derived*to auto_ptr<Base>，并且在这种情况下static_cast，指向派生类类型对象的指针被转换为明确基类类型的指针。所以看起来标准允许它。

但是，从Derived*to的转换Base*是隐式的，它只是碰巧作为显式不同转换的一部分执行。所以最后，不，标准真的不允许。

您可能希望将此报告为错误。从Csq的评论中，我们了解到有一个相关的报告，其中显式static_cast也允许这种转换，但它并不完全相同。在这种情况下，从Derived*to的转换Base*是显式的，但在这里是隐式的，Visual C++ 通常在隐式转换中拒绝这种转换。

请注意，在使用多个表达式的函数转换中，这种误解是不可能的：编译器正确拒绝以下内容：

class Base { };
class Derived : Base { };

template <typename T>
class Ptr {
public:
  Ptr(T *a, T *b) { }
};

int main() {
  Ptr<Base>(new Derived, new Derived);
  // error C2243: 'type cast' : conversion from 'Derived *' to 'Base *' exists, but is inaccessible
}
于 2014-06-19T17:19:16.990 回答