如何为void类型禁用类模板成员函数，解决形成void引用的编译报错

• 第一个版本的核心错误：T obj 声明不合法。void 属于不完整类型，无法定义栈上实例对象，即使删除get()函数，A<void>实例化也会直接失败。
• 第二个版本的错误原因：虽然std::shared_ptr<void>是标准库明确支持的合法类型，但原有SFINAE写法触发了部分编译器的提前语法检查。对于类内定义的成员模板，部分编译器会在类实例化阶段对返回值类型做初步校验，即使get()没有被调用，也会因为U&在U=void时语法非法报错。

方案1：类模板偏特化（兼容性最好，无多余语法开销） #

直接拆分普通类型和void类型的类实现，从结构上避免void场景下出现get()函数：

#include <type_traits>
#include <memory>

// 通用版本：适用于非void类型
template <typename T, typename = void>
class A {
public:
    A() = default;
    std::shared_ptr<T> obj;
    T& get() { return *obj; }
};

// void类型偏特化版本：不实现get()函数
template <>
class A<void> {
public:
    A() = default;
    std::shared_ptr<void> obj;
};

方案2：调整SFINAE写法（适合不想拆分模板的场景） #

把enable_if逻辑移到返回值位置，确保返回值类型只有在get()被调用、成员模板实例化时才会推导，避免提前检查报错：

#include <type_traits>
#include <memory>

template <typename T>
class A {
public:
    A() = default;
    std::shared_ptr<T> obj;

    template <typename U = T>
    typename std::enable_if<!std::is_void<U>::value, U&>::type get() {
        return *obj;
    }
};

方案3：C++20 概念约束（写法最简洁） #

如果可以使用C++20及以上标准，直接用requires约束get()的适用场景：

#include <type_traits>
#include <memory>

template <typename T>
class A {
public:
    A() = default;
    std::shared_ptr<T> obj;

    template <typename U = T>
    requires (!std::is_void_v<U>)
    U& get() { return *obj; }
};

以上方案均可以正常编译测试代码，且A<void>实例调用get()时会触发编译错误，符合预期需求。

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