代码之家 › 专栏 › 技术社区 › infinitezero

如何优化可变模板专业化?

template-meta-programming variadic-templates c-preprocessor templates c++

infinitezero · 技术社区 · 3 年前

假设您有以下结构来连接两个模板结构:

/// concat.hpp
template<typename...>
struct concat_struct;

// concat_specialization.hpp
template<std::size_t... m, std::size_t... n>
struct concat_struct<$CLASSNAME<m...>, $CLASSNAME<n...>>
{
    using type = $CLASSNAME<m..., n...>;
};

template<typename a, typename b>
using concat = typename concat_struct<a, b>::type;

我现在可以做了

#include "concat.hpp"
#define $CLASSNAME MyClass
#include "concat_specialization.hpp"
#undefine $CLASSNAME
#define $CLASSNAME MyOtherClass
#include "concat_specialization.hpp"

事实上,如果我再次包含“concat_specialisation.hpp”,这很容易导致冲突。C++如何处理可变模板的多种特殊化?

0 回复 | 直到 3 年前

cigien 3 年前

你不需要明确地为每个项目写一个专业化 $CLASSNAME 。您只需将模板模板参数添加到专门化中,就会自动推断出来:

template<template<std::size_t...> typename C, std::size_t... m, std::size_t... n>
struct concat_struct<C<m...>, C<n...>>
{
    using type = C<m..., n...>;
};

这是一个 demo

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

2 年前

Seymore Glass · 模板不工作的默认参数

2 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

2 年前

Alexander Daum · 模板参数中对模板类型的引用

6 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

6 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

6 年前