模板类成员函数接受成员指针时，非类类型T的编译错误解决

为什么原代码会报错？ #

当实例化Buffer<float>这类非类类型的模板时，编译器会解析Buffer内部所有成员函数的声明（无论是否被调用）。Field T::*这种成员指针类型，在T是非类类型时属于语法非法，这种错误不属于SFINAE的处理范畴——SFINAE仅作用于模板参数推导/重载决议阶段的替换失败，而声明本身的语法错误会直接触发编译报错。

为什么requires std::is_class_v<T>无效？ #

requires约束仅控制函数是否参与重载决议，但函数声明的语法检查在类模板实例化时就会执行。当T是非类类型时，Field T::*依然是非法语法，编译器在解析声明阶段就会报错，根本到不了重载决议环节。

可行解决方案 #

方案一：用C++20概念+auto参数隐藏非法声明 #

通过将参数类型改为auto，并在requires中同时约束T是类类型、参数是成员指针且所属类为T，这样当T是非类时，函数模板会直接被丢弃，不会触发语法检查：

#include <type_traits>
#include <string>

template <typename T>
struct Buffer {
    template <typename Ptr>
    requires std::is_class_v<T> && 
             std::is_member_object_pointer_v<Ptr> &&
             std::is_same_v<std::member_pointer_class_t<Ptr>, T>
    int add_member_attribute(std::string&& name, Ptr member_ptr)
    {
        using Field = std::remove_member_pointer_t<Ptr>;
        // 原有逻辑
        return 0;
    }  
};

struct Thing {
    int x;
    double y;
};

int main() {
    Buffer<Thing> bt;
    Buffer<float> bf;
    bt.add_member_attribute("y", &Thing::y); // 正常编译
    // bf.add_member_attribute("test", ...); // 编译报错，符合预期
}

方案二：用条件类型包装成员指针（兼容C++17） #

通过std::enable_if_t将成员指针类型包装为仅在T是类时才合法的类型，这样当T是非类时，函数模板的参数类型无效，会被SFINAE丢弃：

#include <type_traits>
#include <string>

// 仅当T是类时，MemberPtr<T, Field>才是合法的成员指针类型
template <typename T, typename Field>
using MemberPtr = std::enable_if_t<std::is_class_v<T>, Field T::*>;

template <typename T>
struct Buffer {
    template <typename Field>
    int add_member_attribute(std::string&& name, MemberPtr<T, Field> member_ptr)
    {
        // 原有逻辑
        return 0;
    }  
};

struct Thing {
    int x;
    double y;
};

int main() {
    Buffer<Thing> bt;
    Buffer<float> bf;
    bt.add_member_attribute("y", &Thing::y); // 正常编译
}

方案三：类模板特化（最直观的方式） #

为非类类型的Buffer提供特化版本，不包含add_member_attribute函数：

#include <string>
#include <type_traits>

// 主模板：针对类类型
template <typename T, bool = std::is_class_v<T>>
struct Buffer {
    template <typename Field>
    int add_member_attribute(std::string&& name, Field T::* member_ptr)
    {
        // 原有逻辑
        return 0;
    }  
};

// 特化版本：针对非类类型
template <typename T>
struct Buffer<T, false> {
    // 不包含add_member_attribute函数
};

struct Thing {
    int x;
    double y;
};

int main() {
    Buffer<Thing> bt;
    Buffer<float> bf;
    bt.add_member_attribute("y", &Thing::y); // 正常编译
    // bf.add_member_attribute("test", ...); // 编译报错，符合预期
}

为什么你的MemberPointer方案失败？ #

当传入&Card::extents时，推导指南会生成MemberPointer<Card, range2>，但函数参数是MemberPointer<T, Field>（T为Card）。此时编译器需要推导模板参数Field，但MemberPointer<Card, range2>与MemberPointer<Card, Field>是不同的模板实例，且没有合适的隐式转换路径，因此无法匹配函数调用。

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