编辑“︁C++ sfinae”︁（章节）

=== 示例 2：表达式 SFINAE ===
通过 <code>decltype</code> 检测类型是否支持特定操作：

<syntaxhighlight lang="cpp">
#include <iostream>
#include <utility>

// 检测类型是否有 'size()' 成员函数
template <typename T>
auto has_size_method(const T& t) -> decltype(t.size(), std::true_type{}) {
    return std::true_type{};
}

// 后备重载
std::false_type has_size_method(...) {
    return std::false_type{};
}

int main() {
    std::string s = "hello";
    int x = 42;

    std::cout << std::boolalpha;
    std::cout << "String has size(): " << has_size_method(s) << std::endl;  // true
    std::cout << "Int has size(): " << has_size_method(x) << std::endl;     // false
    return 0;
}
</syntaxhighlight>

'''输出：'''
<pre>
String has size(): true
Int has size(): false
</pre>

'''解释：'''
* 若 <code>t.size()</code> 有效，<code>decltype</code> 返回 <code>std::true_type</code>。
* 否则，匹配后备重载（参数为 <code>...</code> 的版本）。