我有一组类,其中有一个或多个类型为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 的引用(“替换失败不是错误。”),但我不确定在这种情况下如何使用它。下面的建议正确吗?
替换失败不是错误示例似乎暗示我应该为每个成员创建一个单独的函数,并在没有该成员的情况下使用重复的函数。
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
}
这是一个可能的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
,而无所事事的过载是long
。通过提供0
(an int
)作为我们调用它时的第三个参数,我们确保在可行时首选 do-something 重载。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)