Windows下宏与模板元编程声明友元类触发C2065错误

问题根源 #

Windows下MSVC报C2065: "N"未声明标识符，本质是预处理宏与模板参数的执行阶段冲突：

• 预处理宏（如REPEAT系列）在编译前展开，此时模板参数（如DIM）的具体值尚未确定；
• GCC支持非标准扩展，允许在预处理阶段引用模板参数，但MSVC严格遵循C++标准，不会在预处理阶段解析模板参数，导致宏展开时N被视为未声明的标识符；
• Linux下GCC的扩展行为掩盖了这个标准兼容性问题。

解决方法 #

放弃预处理宏，改用**模板元编程（TMP）**实现跨平台的批量友元声明，完全规避预处理与模板的阶段冲突：

1. 实现整数序列生成（C++11兼容） #

如果环境不支持C++14的std::make_integer_sequence，可自行实现：

template<int... Ns>
struct IntegerSequence {};

template<int N, int... Ns>
struct MakeIntegerSequence : MakeIntegerSequence<N-1, N-1, Ns...> {};

template<int... Ns>
struct MakeIntegerSequence<0, Ns...> : IntegerSequence<Ns...> {};

2. 用模板递归生成友元声明 #

// 基础模板：终止递归
template<int... Ns>
struct FriendDeclarer {};

// 递归模板：逐个声明友元
template<int First, int... Rest>
struct FriendDeclarer<First, Rest...> {
    friend class DufoMap<First>; // 替换为你的友元类模板
    FriendDeclarer<Rest...> rest;
};

3. 在目标类中使用 #

template<int DIM>
class DufoMapRun {
    // 生成0到DIM-1的所有友元类
    FriendDeclarer<typename MakeIntegerSequence<DIM>::type> friend_declarer;
    
    // 其他类成员...
};

替代简化方案（C++14+） #

如果支持C++14，直接用标准库的std::integer_sequence：

#include <utility>

template<int... Ns>
struct FriendDeclarer {
    friend class DufoMap<Ns>...; // 可变参数友元声明
};

template<int DIM>
class DufoMapRun {
    FriendDeclarer<std::make_integer_sequence<int, DIM>> friend_declarer;
};

临时兼容方案（不推荐） #

如果必须保留宏写法，可针对MSVC修改宏展开逻辑，强制二次展开参数：

// 针对MSVC的宏展开修复
#ifdef _MSC_VER
#define EXPAND(F, N) F(N)
#define REPEAT(N, F) EXPAND(F, 0) EXPAND(F, 1) // 手动扩展到需要的次数，不支持动态N
#else
#define REPEAT(N, F) // 原GCC兼容的REPEAT实现
#endif
#define FRIEND(N) friend class DufoMap<N>;

注意：此方案仅适用于固定次数的友元声明，无法支持模板参数DIM作为动态次数，仅作临时过渡使用。

内容的提问来源于stack exchange，提问作者lichao li