有没有可能写一个CRTP类，在一个类中添加一个成员，只有当一个同名的成员不存在时（在C++17中）？

template<class C> using require_foo = ...;

struct Foolish : require_foo<Foolish> {
    int foo;
}; // contains just one foo, CRTP is an empty base

struct NotFoolish : require_foo<NotFoolish> {
}; // contains just one foo, provided by CRTP base

我试了显而易见的方法：

#include <type_traits>

void has_foo_helper(...);

template<class Class>
auto has_foo_helper(Class* obj) -> decltype(obj->foo);

template<class Class>
constexpr bool has_foo =
    std::is_same_v<decltype(has_foo_helper(std::declval<Class*>())), int>;

template<class, bool>
struct require_foo_impl;

template<class Class>
struct require_foo_impl<Class, false> {
};

template<class Class>
struct require_foo_impl<Class, true> {
    int foo;
};

template<class Class>
using require_foo = require_foo_impl<Class, has_foo<Class>>;

但它不起作用：

static_assert(has_foo<Foolish>); // failed due to requirement 'has_foo<Foolish>'
static_assert(has_foo<NotFoolish>); // failed due to requirement 'has_foo<NotFoolish>'

想想看，has_foo似乎是自相矛盾的：如果一个类没有foo，它会添加它，但是现在这个类有了foo，所以它不会添加它，等等。
所以我对解决方案的存在持悲观态度，但我希望被证明是错误的。