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

从间接模板参数中隐式选择数组元素类型和大小

c++

intrigued_66 · 技术社区 · 2 年前

我有一个类,根据模板参数的值,我想更改数组的元素类型和大小。

下面的内容显然没有编译,但我用它来展示我想做什么。

struct A{};
struct B{};

template<size_t N>
class C
{
    // This is illegal syntax, just using it as pseudo-code
    if constexpr(N <= 5)
    {
        std::array<A, 20> _array;
    }
    else
    {
        std::array<B, 80> _array;    
    }
};

( N 不是数组的大小)

我知道我可以通过 A 和 20 作为另外两个模板参数,但有办法避免这样做吗?

2 回复 | 直到 2 年前

Christian Stieber 2 年前

按照以下思路做一些事情:

#include <type_traits>

template<size_t N> class C {
    typedef std::array<A,20> First;
    typedef std::array<B,80> Second;
    typename std::conditional<N<=5, First, Second>::type _array;
    // C++14 and later lets you to do this:
    // std::conditional_t<N<=5, First, Second> _array;
};

Chris 2 年前

否定了Christian Stieber的答案,但进行了修改,将所有计算都放在模板参数中。 N 是唯一需要提供的模板参数,但其他参数可以可以使其更加灵活。

#include <type_traits>
#include <array>

struct A {};
struct B {};

template<
    std::size_t N, 
    typename F = std::array<A, 20>, 
    typename S = std::array<B, 80>,
    typename T = typename std::conditional<N <= 5, F, S>::type
> 
class C {
    T _array;
};

在…上 godbolt .

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前