具有多个可变参数模板的模板专用化

Template specialization with multiple variadic templates

本文关键字：专用 参数 变参      更新时间：2023-10-16

在我的最后一个问题中，我在使模板专业化发挥作用方面得到了很大的帮助。现在我需要一点扩展。我想要这些语句的两个专业：

int main()
{
    // First specialization
    holder_ext<person> h1;
    holder_ext<person, &person::age> h2;
    holder_ext<int> h3;
    // Second specialization
    holder_ext<person, &person::age, &person::name> h4;
}

我的班级人员看起来像这样：

class person
{
private:
    std::string name_;
    int age_;
public:
    person(const std::string &name)
        : name_(name), age_(56)
    {}
    void age(int a) { age_ = i; }
    void name(const std::string &n) { name_ = n; }
};

特别的是，这两个成员函数具有不同的参数类型。所以我不能对两者使用相同的可变参数模板成员函数。我尝试了两个不同的可变参数模板。但这行不通。成员函数的默认值也不起作用。

有人对我有很好的提示吗？

这是具有一个成员函数的解决方案（感谢 Pubby）：

template < class T, void (std::conditional<std::is_class<T>::value, T, struct dummy>::type::* ...FUNC)(int)> class holder;
template < class T, void (T::*FUNC)(int)>
class holder<T, FUNC>
{
public:
    explicit holder() : setter(FUNC) { std::cout << "funcn"; }
private:
    std::function<void (value_type&, int)> setter;
};
template < class T>
class holder<T>
{
public:
    explicit holder() { std::cout << "plainn"; }
};

再次提前感谢！

PS：不，我不会在两天内提出"三、四、五成员函数必须做什么"？;-）

对于完全通用的解决方案，您将遇到一个无法解决的问题：无法推断非类型模板参数的类型，因此必须在模板声明中显式，因此无法告诉模板您想要多个指向成员的指针参数，每个参数都有一个未知的类型。

我还没有玩够 C++11，但您可以尝试对成员模板参数强制排序并在模板中提供所有签名：

template <typename T, 
          void (std::conditional<...>::type*)(int),
          void (std::conditional<...>::type*)(const std::string&)>

同样，它可能有效，也可能无效...

最后，

我找到了解决问题的方法。它是可变参数模板和模板规范之间的混合：

template < class T,
void (std::conditional<std::is_base_of<object, T>::value, T, struct dummy>::type::*FUNC1)(int) = nullptr,
void (std::conditional<std::is_base_of<object, T>::value, T, struct dummy>::type::* ...FUNC2)(const std::string&)
>
class holder_ext;
template < class T,
void (std::conditional<std::is_base_of<object, T>::value, T, struct dummy>::type::*FUNC1)(int),
void (std::conditional<std::is_base_of<object, T>::value, T, struct dummy>::type::*FUNC2)(const std::string&)
>
class holder_ext<T, FUNC1, FUNC2>
{
public:
    holder_ext() { std::cout << "func 2 testn"; }
};
template < class T,
void (std::conditional<std::is_base_of<object, T>::value, T, struct dummy>::type::*FUNC1)(int)
>
class holder_ext<T, FUNC1>
{
public:
    holder_ext() { std::cout << "func 1 testn"; }
};

我使用未实现的声明并定义两个专用化。一个同时具有成员函数，另一个用于所有其他情况。

如果有更好的解决方案，请随时告诉我。

相关文章：