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

Question

我编写了一个基本的 C++ 模板元编程演示，使用结构中的枚举来计算斐波那契数列，它无法在 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;
}

我知道这是声明结构实例的“C 方式”，并且在 C++ 中建议放弃“struct”关键字并仅将其声明为声明类实例。但是由于支持 struct 并且 struct structName varName; 的语法在正常情况下确实有效，我很好奇这里出了什么问题，或者这种声明方式是否可能与由编译器。谢谢!

Answer 1

val 是一个值，而不是一个类型。你不能用 struct 作为前缀，就像你不能说 struct 1 一样。另外，是的，放弃多产的 struct 用法，因为它在 C++ 中已经过时了。