c++ - 模板实例化检查类中是否存在成员

Question

我有一组类，其中有一个或多个类型为 memberA、memberB、memberC 的成员。并非所有类都有所有成员。我想创建一个模板来设置成员，例如

template <typename T>
void setAttributes(t & myClass, typeA memA, typeB memB, typeC memC)
{
  myClass.memberA = memA;
  myClass.memberB = memb;
  myClass.memberC = memC;
}

显然，当尝试实例化缺少其中一个成员的类时，这将在编译时失败。是否有 #if 或类似的东西允许对表单的条件编译进行检查

#ifdef myClass.memberA
  myClass.memberA = memA;
#endif

我现在没有权限实际尝试这个或任何类似的东西，我想知道是否有有效的设置方法。

我看到了对 SFINAE 的引用(“替换失败不是错误。”)但我不确定在这种情况下将如何使用它。以下建议是否正确？

Substitution failure is not an error示例似乎暗示我应该为每个成员创建一个单独的函数，并在没有该成员的情况下使用重复函数。

template <typename T>
void setMemberA(T & myClass, typeA memA)
{
  myClass.memberA = memA;
}

template <typenum T>
void setMemberA(T & myClass)
{
  // This is a dummy template to avoid a compilation problem
}

Answer 1

这是一个可能的 set_memberA_if_exists 实现:

namespace details {
    template<class T>
    auto set_memberA_if_exists_impl(T & myClass, typeA memA, int) 
         -> decltype(myClass.memberA = memA, void()) {
        myClass.memberA = memA;
    }

    template<class T>
    void set_memberA_if_exists_impl(T & myClass, typeA memA, long) {}
}

template<class T>
void set_memberA_if_exists(T & myClass, typeA memA) {
     details::set_memberA_if_exists_impl(myClass, memA, 0);
}

解释:

SFINAE 仅适用于函数模板的签名，而不适用于主体，因此诀窍是在函数模板签名中对检查进行编码。这很容易使用 C++11 尾随返回类型 - -> decltype(myClass.memberA = memA, void())。如果表达式 myClass.memberA = memA 无法编译，则会导致替换失败并从重载集中删除函数模板。为了在这种情况下调用 set_memberA_if_exists_impl 仍然可以编译，我们还提供了另一个不执行任何操作的重载。

我们还需要一种方法来区分这两个重载，当它们都可行时。这是通过引入第三个参数来完成的。 do-something 重载的第三个参数的类型是 int，而 do-nothing 重载的是 long。通过在调用它时提供 0(一个 int)作为第三个参数，我们确保在可行时首选 do-something 重载。