SFINAE（Substitution Failure Is Not An Error）是C++中的一種編譯時技朧，用于在模板參數推斷或重載解析時排除某些候選項，從而選擇合適的重載或特化。
在類型萃取中，SFINAE可以用來判斷某個類型是否具有某個成員函數或成員變量。例如，可以使用SFINAE來判斷一個類型是否具有size()成員函數，從而實現不同類型的類型萃取。
在偏特化中，SFINAE可以用來選擇合適的偏特化模板。例如，可以使用SFINAE來選擇在特定條件下使用特定的偏特化模板。
總的來說，SFINAE在類型萃取和偏特化中的應用可以幫助我們根據條件選擇合適的模板或重載，從而實現更加靈活和通用的代碼。
