c++ - 在 VS2010 中编译 C++ 元程序

Question

我无法在 VS2010 中编译以下程序。不断编译并进入堆不可用。非常感谢任何帮助。

#include <iostream>

class function_t
{
public:
    virtual void operator ()()=0;
};

class greet_t : public function_t
{
public:
    virtual void operator()(){ std::cout << "hello world" << std::endl;}
};

template<int count, function_t** f> class loop_t
{
public:
    static inline void exec()
    {
        (*(*f))();
        loop_t< count-1, f>::exec();

    }
};

function_t* f;
int _tmain(int argc, _TCHAR* argv[])
{
    f = new greet_t();
    loop_t<1, &f>::exec();

    return 0;
}

Answer 1

我认为问题出在您的模板代码中:

template<int count, function_t** f> class loop_t
{
public:
    static inline void exec()
    {
        (*(*f))();
        loop_t< count-1, f>::exec();

    }
};

请注意，您实例化了这个内部模板:

loop_t< count-1, f>::exec();

问题是您从未定义过 loop_t 的部分特化，它会在循环计数器达到某个值(例如，零)时终止，因此编译器只会不断实例化更多loop_t 的版本具有越来越低的 count 值，直到达到内部限制并报告错误。要解决此问题，您应该引入 loop_t 的部分特化以在计数器达到某个值(可能为零)时停止:

template<function_t** f> class loop_t<0, f>
{
public:
    static inline void exec()
    {
        // Empty
    }
};

希望这对您有所帮助!