函数模板：在基类中访问子类的重载函数

Question

#pragma once
#include <boost/thread/thread.hpp>
#include <boost/chrono/chrono.hpp>

class First
{
public:
    First();
    ~First();

    virtual void run() = 0;
    boost::thread* m_Thread;
    void create();

    template< class ChildClass >
    void create()
    {
        First::m_Thread = new boost::thread(
            boost::bind( &ChildClass::run , this ) );
    }
};

#include "First.h"

First::First() {}
First::~First() {}

#pragma once
#include "first.h"

class Second : public First
{
public:
    Second();
    ~Second();

    void run();
};

Second.CPP

#include "Second.h"
Second::Second()
{
    First::create<Second>();
}

void Second::run()
{
    doSomething();
}

我在first::create ()处得到一个错误； 表示错误：不允许类型名。那么这个错误的原因是什么呢？我想我还没有完全了解模板的整个机制--我对这个主题非常陌生。

Answer 1

尽管您可以按照Kerrek SB和Arne Mertz的“建议”使用CRTP，但这里有一个使用成员函数模板的解决方案：

class First
{
public:
    First();
    ~First();

    virtual void run() = 0;
    boost::thread* m_Thread;

    // vvvvvvvvvvv this declares a non-template member function `create`
    void create(); // (better remove it)

    // vvvvvvvvvv this declares a member function template `create`
    template< class ChildClass >
    void create();
};

对于模板，您应该在头文件中提供定义，因为定义必须在需要的每个TU中都可用（而不仅仅是在一个TU中）。

做到这一点最简单的方法是在类本身内提供成员函数模板或类模板成员的定义：

class First
{
public:
    /* ... */

    template< class ChildClass >
    void create()
    {
        // AFAIK, the `bind` is not required
        First::m_Thread = new boost::thread(&ChildClass::run,
                                            static_cast<ChildClass*>(this));
    }
};

void Second::any_function()
{
    create<Second>();
}

null