c++ - 从模板参数继承并在 C++ 中向上转换

Question

我曾尝试在 VS2008 中使用此代码(并且示例中可能包含了过多的上下文...):

class Base
{
    public:
    void Prepare() {
       Init();
       CreateSelectStatement();
       // then open a recordset
    }
    void GetNext() { /* retrieve next record */ }
    private:
    virtual void Init() = 0;
    virtual string CreateSelectStatement() const = 0;
};
class A : public Base
{
   public:
   int foo() { return 1; }
   private:
   virtual void Init() { /* init logic */ }
   virtual string CreateSelectStatement() { /* return well formed query */ }
};

template<typename T> class SomeValueReader : protected T
{
   public:
   void Prepare() { T::Prepare(); }
   void GetNext() { T::GetNext(); }
   T& Current() { return *this; } // <<<<<<<< this is where it is interesting
   SomeValue Value() { /* retrieve values from the join tables */ }
   private :
   string CreateSelectStatement() const
   {
   // special left join selection added to T statement
   }
};

void reader_accessAmemberfunctions_unittest(...)
{
   SomeValueReader<A> reader();
   reader.Prepare();
   reader.GetNext();
   A a = reader.Current();
   int fooresult = a.foo();
   // reader.foo()            >> ok, not allowed
   Assert::IsEqual<int>( 1, fooresult );
};

这按预期工作，即可以访问“A”成员函数并且 fooresult 返回 1。但是，当在 unittest 函数末尾删除对象时会抛出异常:

System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt

如果我将 Current() 函数的返回类型更改为:

T* Current()
{
   T* current = dynamic_cast<T*>(this);
   return current;
}

然后一切正常，单元测试以没有访问冲突结束。有人能告诉我第一个 Current() 实现有什么问题吗？谢谢，bouchaet。

Answer 1

更改 CreateSelectStatement 以返回已实现函数(不是纯虚拟函数)的值后

string CreateSelectStatement() const { return ""; }

并更改 reader 的声明(您拥有的声明应严格解释为 C++ 中的函数原型(prototype))

SomeValueReader<A> reader;

上面的示例使用 gcc 编译和执行没有错误，这让我相信实际的错误可能不存在于上面的源代码中。很遗憾，我目前无法使用 VC 进行测试。

我看不出任何明显的理由说明您建议的更改可以解决问题，我能看到的唯一其他错误是 Base 没有声明的虚拟析构函数，这意味着如果您删除了一个 Base*(或一些不是实际类型的其他派生类)不正确的析构函数将被触发。您应该将其声明为

virtual ~Base() {}

即使它是空的。

从风格上讲，以这种方式使用模板和虚函数也有点奇怪，因为在这里您使用模板在编译时解析函数。我也看不出 SomeValueReader 需要从 T 派生(而不是有一个成员变量)的原因。