假设我有一个包含两个数组成员的类,它们的元素类型相同但大小不同:
struct X
{
string a[2];
string b[3];
};
constexpr auto array_members = std::array{ &X::a, &X::b };
这不会编译,因为两个数组(具有不同的长度)具有不兼容的类型。
是否可以为两个成员指针分配一个通用类型?
我也试过
static_cast<string (X::*)[]>(&X::a)
但这也无法编译,因为数组类型不完整。我不能使用
offsetof
因为它需要使用非标准布局类。这可能是一种解决方法:
using array_type = decltype(X::b);
auto const array_members = std::array{
reinterpret_cast<array_type X::*>(&X::a), // cannot be constexpr
&X::b
};
但我担心调用未定义的行为。尽管我确信在运行时没有越界的元素引用,但我们确实创建了指向
a
的结束指针。 , 它给出了 b
的类型似乎在界内。我不确定这是否违反规范。如果我可以使用 constexpr
也会很方便与 reinterpret_cast
不兼容.
最佳答案
您不能拥有指向不同类型成员的成员指针数组。
您可以使用某种将 span 返回给成员的函数来代替成员指针:
template<auto m>
constexpr auto getter = [](X& x) noexcept
// X could be deduced from m for extra genericity
// https://stackoverflow.com/questions/25228958
{
return span{x.*m, std::size(x.*m)};
};
constexpr auto array_members = std::array{ +getter<&X::a>, +getter<&X::b> };
No assembly generated :)在零优化级别(当然,直到您实际调用函数)。
array_members
是一个函数指针数组。示例用法:X x;
span a = array_members[0](x);
a[0] = "test";
这使用
span
,它不在 C++17 标准库中,因此您需要使用它的另一个实现。
关于c++ - 指向不同大小的成员数组的指针,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58239838/