声明模板会员参考另一个类的模板成员数组
Declaring templated member reference to templated member array of another class
模板class OtherClass
具有一个模板成员,它是对模板class BitReferenceHost
的模板成员的引用,该模板是使用make_integer_sequence
构建的std::array
,并且BitReferenceHost
的两个模板成员方法。
我在BitReferenceHost
中正确声明了XBitMask
,但是我在OtherClass
中使用了对BitReferenceHost
的静态成员的参考。
#include <cstdint>
#include <array>
#include <limits>
#include <functional>
template <typename Aspect>
class BitReferenceHost {
public:
template <uint8_t BitCount, uint64_t... Indexes>
static constexpr const std::array<uint64_t, sizeof...(Indexes)>
initializeXBitMasks(const std::integer_sequence<uint64_t, Indexes...>&) {
return { initializeXBitMasks<BitCount>( Indexes )... };
}
template<
uint8_t BitCount,
uint8_t ShiftDistance = BitCount + 1,
uint64_t BaseMask = (1ULL << ShiftDistance) - 1
> static constexpr const uint64_t initializeXBitMasks(
const uint64_t& mask_index
) {
return BaseMask << (BitCount * mask_index);
}
template <
uint8_t BitCount,
typename MaskInt = uint64_t,
uint8_t Count = std::numeric_limits<MaskInt>::digits / BitCount
> static constexpr const std::array <MaskInt, Count>
XBitMask = initializeXBitMasks<BitCount>(
std::make_integer_sequence<MaskInt, Count>{}
);
};
template <typename Aspect>
template <uint8_t BitCount,
typename MaskInt,
uint8_t Count
> const std::array<MaskInt, Count> BitReferenceHost<Aspect>::XBitMask;
template <typename Aspect, typename... Args>
class OtherClass {
public:
using ReferenceHost = ::BitReferenceHost<Aspect>;
template <uint8_t BitMaskBitCount>
static constexpr const auto& XBitMask =
ReferenceHost::template XBitMask<BitMaskBitCount>;
};
template <typename Aspect, typename... Args>
template <uint8_t BitMaskBitCount>
const auto& OtherClass<Aspect, Args...>::XBitMask;
更新(解决方案):
max66提供的每个答案工作代码:
#include <cstdint>
#include <iostream>
#include <array>
#include <limits>
#include <functional>
template <typename Aspect> class BitReferenceHost {
template <uint8_t BitCount, uint64_t... Indexes>
static constexpr const std::array<uint64_t, sizeof...(Indexes)>
initializeXBitMasks( const std::integer_sequence<uint64_t, Indexes...>& )
{
return { { initializeXBitMasks<BitCount>( Indexes )... } };
}
template
<
uint8_t BitCount,
uint64_t BaseMask = (1ULL << BitCount) - 1
>
static constexpr uint64_t
initializeXBitMasks(
const uint64_t& mask_index )
{
return BaseMask << (BitCount * mask_index);
}
public:
template
<
uint8_t BitCount,
typename MaskInt = uint64_t,
uint8_t Count = std::numeric_limits<MaskInt>::digits / BitCount
>
static constexpr const std::array<MaskInt,Count>
XBitMask = initializeXBitMasks<BitCount>( std::make_integer_sequence<MaskInt, Count>{} );
};
template<typename Aspect>
template
<uint8_t BitCount, typename MaskInt, uint8_t Count>
const std::array<MaskInt, Count>
BitReferenceHost<Aspect>::XBitMask;
template <typename Aspect, typename... Args> class OtherClass
{
using ReferenceHost = ::BitReferenceHost<Aspect>;
public:
template <uint8_t BitMaskBitCount> static constexpr const decltype(ReferenceHost::template XBitMask<BitMaskBitCount>)&
XBitMask = ReferenceHost::template XBitMask<BitMaskBitCount>;
};
template <typename Aspect, typename... Args>
template <uint8_t BitMaskBitCount>
constexpr const decltype(OtherClass<Aspect, Args...>::ReferenceHost::template XBitMask<BitMaskBitCount>)&
OtherClass
<Aspect, Args...>::XBitMask;
int main()
{
uint64_t test_int = OtherClass<uint64_t>::XBitMask<1>[0];
std::cout << test_int << std::endl;
return 0;
}
我不是专家,但是...我在编译您的代码时遇到问题,因为(如果我很好地理解了clang的错误消息)
中的auto
类型 template <typename Aspect, typename... Args>
template <uint8_t BitMaskBitCount>
const auto& OtherClass<Aspect, Args...>::XBitMask;
无法推导,因为没有初始化值。
我以两种方式编译
(1)在类别定义之外删除声明
template <typename Aspect, typename... Args>
class OtherClass {
using ReferenceHost = ::BitReferenceHost<Aspect>;
template <uint8_t BitMaskBitCount>
static constexpr const auto& XBitMask =
ReferenceHost::template XBitMask<BitMaskBitCount>;
};
//template <typename Aspect, typename... Args>
//template <uint8_t BitMaskBitCount>
//const auto& OtherClass<Aspect, Args...>::XBitMask;
(2)类型避免使用auto
(并用使用using
定义的类型为semplify)
template <typename Aspect, typename... Args>
class OtherClass {
using ReferenceHost = ::BitReferenceHost<Aspect>;
template <uint8_t BitMaskBitCount>
using xbit_t = decltype(ReferenceHost::template XBitMask<BitMaskBitCount>);
template <uint8_t BitMaskBitCount>
static constexpr xbit_t<BitMaskBitCount> & XBitMask =
ReferenceHost::template XBitMask<BitMaskBitCount>;
};
template <typename Aspect, typename... Args>
template <uint8_t BitMaskBitCount>
constexpr OtherClass<Aspect, Args...>::xbit_t<BitMaskBitCount> &
OtherClass<Aspect, Args...>::XBitMask;
相关文章:
- 是否可以将结构数组别名为结构成员数组?
- C++:初始化 constexpr 构造函数中的成员数组
- 使用带有参数包的数组的成员数组初始化类
- C++ 在析构函数调用之前删除的动态成员数组
- 初始化在类类型 #define 中定义的非静态成员数组,不带默认 ctor
- 指向具有不同大小的成员数组的指针
- 用另一个 constexpr 数组对成员数组进行大括号初始化
- 对象成员数组C++默认初始化
- 如何在构造函数中的类成员数组中分配数组值,而无需使用STD库
- 将类成员数组组合到单个数组时性能下降
- 如何将数据从公共方法添加到同一类中的私有成员数组中?
- 如何在C 中的派生类中分配数据成员数组
- C 集合构建器中类成员数组的2D数组大小
- 初始化不可复制、不可移动、显式构造类型的成员数组
- C 指针可以指向字符串文字的静态成员数组
- 成员数组位于何处
- 将对象成员数组与字符串进行比较
- 如何在 c++ 中从对象数组中获取数据成员数组
- 声明模板会员参考另一个类的模板成员数组
- C 初始化成员数组