c++ - 表达式 sfinae 中的惯用回退

Question

Expression SFINAE是一种非常方便的方法，可以编写多个替代函数来做同一件事，然后选择最好的一个进行编译。您在函数原型(prototype)中提到了关键表达式，如果它们无效，则原型(prototype)将被忽略，并有望选择另一个。

这很方便，除了为表达式未定义的情况声明原型(prototype)。通常原型(prototype)集必须划分为互斥域，因为从重载决议的角度来看它们可能是相等的，并且允许两个进入重载集会导致歧义。

总是可以为给定的表达式定义一个老式的特征类型，以与 std::enable_if 一起使用:

template< typename s, typename t, typename u, typename = void >
struct is_product_serializable : std::false_type {};

template< typename s, typename t, typename u >
struct is_product_serializable< s, t, u, typename std::conditional< true, void,
   decltype( std::declval< s >() << std::declval< t >() * std::declval< u >() )
>::type >
    : std::true_type {};

如果不是因为需要从 false_type 派生某些东西，std::conditional 可以直接进入函数原型(prototype)，所有这些样板都可以离开。

还有其他选择吗？也许有某种方法可以降低不干扰类型推导的函数重载的级别？

Answer 1

一种替代方法是添加一个调度程序函数，该函数添加一个虚拟参数，如标签，用于摆动空间以使参数列表不同。

// "Primary" template is just a dispatcher
template< typename ... args >
void chuck( args && ... rem ) {
    return chuck_impl( 0, std::forward< args >( a ) ... );
}

// preferred alternative matches int to 0 but is controlled by SFINAE
template< typename t, typename u, typename ... args >
auto chuck_impl( int, t && a, u && b, args && ... rem )
-> typename std::conditional< true, void, decltype( blah( a, rem ... ) * b ) >::type {
    blah( a, rem ... ) * b;
}

// fallback requires int => float conversion
template< typename t, typename u, typename ... args >
void chuck_impl( float, t && a, u && b, args && ... rem ) {
    bleh( a + chuck_impl( b, rem ... ) );
}