SFINAE（Substitution Failure Is Not An Error）是C++中的一种编译时技朧，用于在模板参数推断或重载解析时排除某些候选项，从而选择合适的重载或特化。
在类型萃取中，SFINAE可以用来判断某个类型是否具有某个成员函数或成员变量。例如，可以使用SFINAE来判断一个类型是否具有size()成员函数，从而实现不同类型的类型萃取。
在偏特化中，SFINAE可以用来选择合适的偏特化模板。例如，可以使用SFINAE来选择在特定条件下使用特定的偏特化模板。
总的来说，SFINAE在类型萃取和偏特化中的应用可以帮助我们根据条件选择合适的模板或重载，从而实现更加灵活和通用的代码。
