代码之家 › 专栏 › 技术社区 › Alexander Daum

模板参数中对模板类型的引用

templates c++

Alexander Daum · 技术社区 · 7 年前

如果我有一个模板类a,像这样

template <int n>
class A{
    /* some code */
};

是否可以有一个模板类B,它将指向a的引用或指针作为参数,而不将int n作为B中的模板参数。

以下代码将起作用:

template <int n, A<n> &a>
class B{
    /* some code */
};

但要使用它,我总是必须向B提供2个参数,这会起作用,但很不方便。

在c++17中,使用auto的工作方式如下

template <auto &a>
class B{
    /* some code */
};

但我必须使用arm none eabi gcc,它显然不支持c++17。

所以我想知道,是否有其他方法可以创建这样的模板,这样B只需要1个模板参数。

1 回复 | 直到 7 年前

Henri Menke 7 年前

如果我理解正确,那么目标是得到 A 并确保 B 是实例化的,实际上是 A. 。通过定义自己的类型特征,您可以通过一些简单的元编程来实现这一点 A. 。

#include <type_traits>

template <int n>
class A {};

template <typename T>
struct is_A : std::false_type {};

template <int m>
struct is_A<A<m>> : std::true_type {
    static constexpr int const n = m;
};

template <typename A>
class B {
    static_assert(is_A<A>::value,"!");
    static constexpr int const n = is_A<A>::n;
};

int main() {
    B<A<1>>{};
}

Live example

推荐文章

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

2 年前

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

2 年前

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

2 年前

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

2 年前

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

3 年前

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

3 年前

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

3 年前

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

7 年前

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

7 年前

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

7 年前