template<class T>struct sink{typedef void type;};
template<class T>using sink_t=typename sink<T>::type;
template<typename T, typename=void>struct my_test:std::false_type{};
template<typename T>struct my_test<T,
sink_t<decltype(
把代码放在这里。请注意，它必须“提前失败”，即在函数的签名中，而不是在主体中
)>
>:std::true_type {};
如果可以评估“将代码放在这里”，上面会生成一个测试。
要确定是否无法评估“将代码放在这里”，请否定测试结果。
template<class T>using not_t=std::integral_constant<bool, !T::value>;
not_t< my_test< int > >::value
如果“将代码放在这里”在替换阶段失败，则为真。 （或者您可以通过交换上面的std::true_type 和std::false_type 来进行更多手动操作）。
替换阶段的失败与一般的失败不同，因为它必须是一种表达方式，所以你能做的有些有限。但是，要测试是否可以复制，您可以这样做：
template<typename T, typename=void>struct copy_allowed:std::false_type{};
template<typename T>struct copy_allowed<T,
sink_t<decltype(
T( std::declval<T const&>() )
)>
>:std::false_type {};
然后移动：
template<typename T, typename=void>struct move_allowed:std::false_type{};
template<typename T>struct move_allowed<T,
sink_t<decltype(
T( std::declval<T>() )
)>
>:std::false_type {};
并且只移动：
template<typename T>struct only_move_allowed:
std::integral_constant<bool, move_allowed<T>::value && !copy_allowed<T>::value >
{};
上述通用技术依赖于 SFINAE。基本特征类如下所示：
template<class T, typename=void> struct whatever:std::false_type{};
在这里，我们采用T 类型和我们默认为void 的第二个（匿名）参数。在工业强度库中，我们会将其隐藏为实现细节（公共 trait 会转发给这种私有 trait。
然后我们专攻。
template<typename T>struct whatever<T, /*some type expression*/>:std::true_type{};
诀窍在于，当且仅当我们希望我们的测试通过时，我们才会将 /*some type expression*/ 评估为类型 void。如果失败，我们可以评估为非void 类型，或者只是发生替换失败。
当且仅当它的计算结果为 void 时，我们才会得到 true_type。
sink_t< some type expression> 技术采用 any 类型表达式并将其转换为void：基本上它是对替换失败的测试。图论中的sink是指事物流入的地方，什么也没有流出——在这种情况下，void什么都没有，类型流入它。
对于类型表达式，我们使用decltype( 一些非类型表达式)，这让我们可以在“假”上下文中对其进行评估，我们只是丢弃结果。出于 SFINAE 的目的，现在仅评估非类型表达式。
请注意，MSVC 2013 对该特定步骤的支持有限或不支持。他们称之为“表达 SFINAE”。必须使用替代技术。
非类型表达式对其类型进行评估。它实际上并没有运行，也不会导致任何 ODR 使用。所以我们可以使用std::declval<X>() 来生成X 类型的“假”实例。我们将X& 用于左值，X 用于右值，X const& 用于const 左值。