我可以在模板专业化中获取对专业化值的名称/引用吗？

问题描述

我的代码：

enum class list{one,two};
template <list T> class Base;
template <> class Base <list::one>{
    A a{list::one};
    B b{list::one};
    C c{list::one};
};
template <> class Base <list::two>{
    B b{list::two};
    C c{list::two};
    D d{list::two};
};

但我想避免重复代码，并使用对专业化值的引用，如下所示：

template <> class Base <list::one>{
    A a{T};
    B b{T};
    C c{T};
};
template <> class Base <list::two>{
    B b{T};
    C c{T};
    D d{T};
};

我可以让污泥临时变量，但看起来也不太好：

template <> class Base <list::one>{
    list T = list::one;
    A a{T};
    B b{T};
    C c{T};
};

有什么方法可以获取模板特化值的引用吗？

解决方法

在以下示例中，我使用 SFINAE 使 T 在 Base 的定义中可用。具体来说，我做了以下工作：

• 向主模板添加了一个虚拟类型参数，
• 通过不指定参数T（并指定第二个虚拟类型参数）使两个特化部分化，
• 通过 T 指定了第二个虚拟类型参数，强制 list::one 在两个特化中等于 list::two 和 std::enable_if_t。

#include <iostream>
#include <type_traits>

enum class list{one,two};

// to make the code compile
class A { public: A(list) {} };
class B { public: B(list) {} };
class C { public: C(list) {} };
class D { public: D(list) {} };

// primary template (second param's sole purpose is to allow partial spec.)
template <list T,typename = void>
class Base;

// partial specialization #1
template <list T>
class Base <T,std::enable_if_t<T == list::one>>{
    A a{T};
    B b{T};
    C c{T};
  public:
    Base() { std::cout << "list::one\n"; }
};

// partial specialization #2
template <list T>
class Base <T,std::enable_if_t<T == list::two>>{
    B b{T};
    C c{T};
    D d{T};
  public:
    Base() { std::cout << "list::two\n"; }
};

int main() {
    Base<list::one> o;
    Base<list::two> t;
}

这是通过 std::enable_if 使用 SFINAE 的一种非常标准的方式。在 cppreference page on std::enable_if 上可以找到类似的示例，其中最后一个示例（第一个注释为 // primary template 的示例）对上面的代码进行了重新编码。