没有void_t的SFINAE（可能是模板专门化问题）

Question

#include <iostream>

template< typename, typename = void >
struct is_incrementable : std::false_type { };

template< typename T >
struct is_incrementable<T,
          std::void_t<decltype( ++std::declval<T&>() )>

       > : std::true_type { };

int main()
{
    std::cout << is_incrementable<int>::value << std::endl;  // prints 1
    std::cout << is_incrementable<std::string>::value << std::endl;  // prints 0
    return 0;
}

ii）当我更改代码并删除void_t时

template< typename, typename = void > 
struct is_incrementable : std::false_type { };

template< typename T >
struct is_incrementable<T,
        decltype( ++std::declval<T&>() )    // void_t is removed              
       > : std::true_type { };

int main()
{
    std::cout << is_incrementable<int>::value << std::endl;  // prints 0
    std::cout << is_incrementable<std::string>::value << std::endl;  // prints 0
    return 0;
}

0和0打印。is_incrementable ::value 表示is_incrementable ::value ，专门化是is_incrementable ::value ，所以我们使用基本模板。对于字符串，专门化无论如何都失败了。

我的问题：iii）有趣的部分。如果现在我把第一行改为使用int作为默认类型

#include <iostream>

template< typename, typename = int >  // !!! int is used now
struct is_incrementable : std::false_type { };

template< typename T >
struct is_incrementable<T,
        decltype( ++std::declval<T&>() )  // void_t is removed 
       > : std::true_type { };

int main()
{
    std::cout << is_incrementable<int>::value << std::endl;  // prints 0
    std::cout << is_incrementable<std::string>::value << std::endl;  // prints 0
    return 0;
}

有人能给我解释一下在iii）发生了什么吗？

Answer 1

当t是int时，decltype(++std::declval ()) 是int&，而不是int。因此，要获得预期的输出，要么更改以下内容：

template< typename, typename = int >
struct is_incrementable : std::false_type { };

对此：

template< typename, typename = int & >
struct is_incrementable : std::false_type { };

否则更改以下内容：

template< typename T >
struct is_incrementable<T,
        decltype( ++std::declval<T&>() )
       > : std::true_type { };

template< typename T >
struct is_incrementable<T,
        std::remove_reference_t<
          decltype( ++std::declval<T&>() )
        >
       > : std::true_type { };