有条件地定义成员变量，具体取决于它所构成的类型

Question

假设我有一个数据结构：

struct TestData {
}

和一个带有成员变量的类：

class TestContainer {
private:
  TestData data;
};

两者都在多个测试文件中使用的宏的cpp文件中定义。

现在，如果没有定义TestData结构，我想在编译时删除数据成员。 如果测试不需要数据，则无需定义数据成员（它会产生未使用的警告）。 我想到使用std::enable_if但未能提出条件。 另一种方法是定义基本模板类和特化，如本问题所示，但是如何特化类型的存在呢？

如何才能做到这一点？

Answer 1

如果您认为不存在前向声明，则可以检查结构是否存在。

此示例假定总是定义TestData或从未定义：

#include <type_traits>

// Comment this line to trigger the static assert
struct TestData {};

template<typename, typename = void>
struct MaybeData {};

template<typename T>
struct MaybeData<T, std::void_t<decltype(sizeof(T))>> {
    T data;
};

struct TestContainer : MaybeData<struct TestData> {};

我们可以这样测试我们的解决方案：

template<typename, typename = void>
constexpr auto has_data = false;

template<typename T>
constexpr auto has_data<T, std::void_t<decltype(T::data)>> = true;

static_assert(has_data<TestContainer>);

其背后的机制不是将结构本身（ TestData ）作为类型发送，而是使用struct TestData作为参数，它引用该类型（如果存在），但是向前声明它。

然后，我们使用sfinae来检查sizeof(T)是否为有效表达式。 如果TestData是不完整的类型，则该表达式无效。

但是，如果在模板实例化之间类型的完整性发生了变化，则程序将形成错误。

现场例子