如何实现确保参数为非引用类型的泛型约束？

针对嵌入式平台特殊内存布局下的静态变量包装器需求，这里提供两种编译阶段即可确保泛型参数为非引用类型的实现方案：

方案1：利用类型特性做编译期约束（C++） #

通过SFINAE结合类型判断工具，直接在模板定义阶段排除引用类型：

#include <type_traits>

// 仅当T为非引用类型时，模板才会被实例化
template <typename T, typename = std::enable_if_t<!std::is_reference_v<T>>>
class StaticWrapper {
    static T static_value; // 静态变量存储
public:
    T& operator*() {
        // 在这里执行手动地址转换逻辑
        return reinterpret_cast<T&>(/* 转换后的目标地址 */);
    }
};

当尝试用引用类型（如int&）实例化StaticWrapper时，std::enable_if会触发SFINAE规则，编译器直接抛出错误，从源头避免不安全的实例化。

方案2：显式特化并禁用引用类型版本 #

通过模板特化，明确区分引用与非引用版本，并将引用版本标记为删除，强制禁止使用：

// 主模板：仅处理非引用类型
template <typename T>
class StaticWrapper {
    static T static_value;
public:
    T& operator*() {
        // 手动地址转换逻辑
        return reinterpret_cast<T&>(/* 转换后的目标地址 */);
    }
};

// 引用类型特化版本：直接删除，使其不可用
template <typename T>
class StaticWrapper<T&> = delete;

这种方式逻辑更直观，任何对引用类型的实例化尝试都会触发编译错误，完全明确区分了两个版本的适用范围。

无论是哪种方案，都能在编译阶段确保包装器只接受非引用类型，契合嵌入式平台特殊内存布局下的安全要求。

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