SFINAE（Substitution Failure Is Not An Error）是C++中的一種模板元編程技術，用于在編譯時進行類型匹配和選擇。通過SFINAE，編譯器可以在模板實例化時選擇特定的重載函數或特化模板，從而實現對不同類型的支持。
在C++標準庫擴展中，SFINAE經常被用于實現類型特化和重載函數選擇。例如，對于標準庫中的容器類（如std::vector、std::map等），通過SFINAE技術可以實現對不同類型的元素進行支持。另外，SFINAE還可以用于實現類似于std::enable_if等輔助類模板，用于條件化編譯和函數重載選擇。
總的來說，SFINAE在C++標準庫擴展中起著非常重要的作用，幫助實現了許多通用的模板庫和泛型算法，提高了代碼的可復用性和靈活性。
