编译时检测引用成员失效，代码未触发预期编译错误

你的代码未触发预期编译错误的核心原因是模板参数推导时的引用折叠规则：

当调用Field(a_.i2)时，a_.i2是int&类型的左值，而函数模板的参数是T &field。根据C++模板推导规则，此时T会被推导为int（而非int&）——因为T&与实参的int&折叠后得到int&，恰好匹配实参类型。因此std::is_reference_v<T>的结果是false，不会进入触发static_assert的分支。

解决方案一：使用完美转发保留引用类型 #

修改函数模板为完美转发形式，让T推导时保留实参的引用属性：

#include <type_traits>

struct a {
 a(): i1(42), i2(i1){}
 int  i1;
 int& i2;
};

template <typename T>
void Field(T&& field) {
    using NoRefT = std::remove_reference_t<T>;
    if constexpr (std::is_pointer_v<NoRefT>) {
        // 处理指针类型
    } else if constexpr (std::is_reference_v<T>) {
        static_assert(!std::is_reference_v<T>, "Reference not supported");
    } else {
        // 处理值类型
    }
}

int main()
{
    a a_;
    Field(a_.i2); // 触发编译错误：Reference not supported
}

这里T&&实现完美转发，传入int&左值时T会被推导为int&，std::is_reference_v<T>返回true，从而触发static_assert。处理指针时需要用std::remove_reference_t<T>剥离引用，避免误判。

解决方案二：直接检查参数的实际类型 #

不依赖模板参数T，改用decltype(field)获取参数的真实类型进行判断：

#include <type_traits>

struct a {
 a(): i1(42), i2(i1){}
 int  i1;
 int& i2;
};

template <typename T>
void Field(T &field) {
    if constexpr (std::is_pointer_v<T>) {
        // 处理指针类型
    } else if constexpr (std::is_reference_v<decltype(field)>) {
        static_assert(!std::is_reference_v<decltype(field)>, "Reference not supported");
    } else {
        // 处理值类型
    }
}

int main()
{
    a a_;
    Field(a_.i2); // 触发编译错误：Reference not supported
}

decltype(field)会直接返回int&，std::is_reference_v<decltype(field)>为true，触发断言。

内容的提问来源于stack exchange，提问作者Mariusz Witold Wisniewski