class 中存在的成员的模板实例化检查

Question

我有一组 classes，它们有一个或多个 memberA、memberB、memberC 类型的成员。并非所有 classes 都有所有成员。我想创建一个模板来设置

等成员

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

显然，当尝试实例化缺少其中一个成员的 class 时，这将在编译时失败。是否有 #if 或类似的东西允许对形式

的条件编译进行检查

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

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

我看到了对 SFINAE ("substitution failure is not an error.") 的引用，但我不确定在这种情况下将如何使用它。下面的建议正确吗？

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 尾随 return 类型 - -> decltype(myClass.memberA = memA, void())。如果表达式 myClass.memberA = memA 无法编译，则会导致替换失败并从重载集中删除函数模板。为了在这种情况下调用 set_memberA_if_exists_impl 仍然可以编译，我们还提供了另一个不执行任何操作的重载。

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

class 中存在的成员的模板实例化检查

template instantiation check for member existing in class

c++

class

templates

instantiation

member