如何解决我可以在模板专业化中获取对专业化值的名称/引用吗?
我的代码:
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
的示例)对上面的代码进行了重新编码。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。