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

Using "struct xxx<>::val" in template metaprogramming caused error

本文关键字：lt gt val 错误 struct 编程 xxx      更新时间：2023-10-16

我写了一个基本的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 structName varName;的语法在正常情况下确实有效，我很好奇这里出了什么问题，或者这种声明方式是否可能与编译器完成的模板解析发生冲突。谢谢！

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

相关文章：