确定是否有任何类成员可以进行堆分配？

Question

我遇到了以下问题。
鉴于我们有class Foo，有没有办法（trait/meta-program/trick/...）来确定（编译时间）是否有任何类会员可以做堆分配吗？

像这样的东西：

class A
{
    int a = 5;
    std::array<int,10> arr;
    ...
};

class B
{
    char c;
    std::string s;
    ...
};

can_allocate<A> 产生错误
can_allocate<B> 为真

如果字符串超过小字符串优化边界，std::string 可能会进行分配。

有谁知道这种语言功能或一些自定义实现？或者它甚至无法实现？

Answer 1

这不是一个完整的答案，但如果你可以使用 c++20 并且你可以忍受一些限制（即它只适用于文字类型您可能可以利用在 c++20 中允许在 constexpr 上下文中分配内存的事实，只要它们不会冒泡到运行时代码中。因此，也许您可​​以按照以下方式构建一些东西：

class A
{
    int a = 5;
    std::array<int,10> arr;
};

class B
{
    char c{};
    std::string s{};
};

template<typename T>
consteval T check_me() {
    return {};
}

int main() {

    check_me<A>();
    check_me<B>(); // doesn't compile
}

Compiler Explorer。

似乎 msvc 错误地没有拒绝编译它，但我认为这是一个编译器错误（？）。

另外，请注意，此代码仅检查默认构造函数，而不检查分配是否可能发生在 T 的任何成员函数或其成员中。