使用" struct xxx<> :: val"在模板元编程中导致错误

时间:2017-06-17 23:41:54

标签: c++ templates struct template-meta-programming

我使用struct中的enum编写了一个基本的C ++模板元编程演示来计算fibonacci,它不能在GCC 4.9或MSVC 14上编译。

#include <iostream>
using namespace std;

template <int N> 
struct fib {
    enum {val = fib<N-1>::val + fib<N-2>::val};
};

template <>
struct fib<1> {
    enum {val = 1};
};

template<>
struct fib<2> {
    enum {val =2};
};


int main() {
    // error: 'val' in 'struct fib<4>' does not name a type
    struct fib<4>::val;

    // expected ';' before 'struct
    // expected primary-expression before '<<' token 
    cout << struct fib<40>::val; 

    cout << fib<40>::val; // works

    return 0;
}

我知道这是&#34; C方式&#34;声明一个结构实例,并且在C ++中,建议放弃&#34; struct&#34;关键字,只是将其声明为声明一个类实例。但是由于支持struct并且struct structName varName;的语法在正常情况下确实有效,我很好奇这里出了什么问题,或者这种声明方式是否与编译器完成的模板解析有冲突。谢谢!

1 个答案:

答案 0 :(得分:5)

val是一个值,而不是一个类型。您不能使用struct作为前缀,就像您不能说struct 1一样。另外,是的,删除多产的struct用法,因为它在C ++中已经不合时宜了。