sfinae（substitution failure is not an error），是c++11以來推出的乙個重要概念，這裡，只是簡單舉乙個例子，可能會有人需要。
//新增 scalar numeric conversion function，實現源自 c++ programming language(4th)
//用來防止使用static轉換的時候，值發生改變
//there is no implicit conversion from source to target
template typename = std::enable_if_t&&
!std::is_same_v, std::decay_t>, std::decay_t>, int>>inline target narrow_cast(source v)
//there is implicit conversion from source to target
template typename = std::enable_if_t&&std::is_same_v
, std::decay_t>, std::decay_t>, int>>inline constexpr std::remove_reference_t
narrow_cast(source v)
C 模板之SFINAE技術
templatestruct has no destroy 有乙個模板類的成員函式呼叫了它 static void init 看起來很不明白為什麼。然後蒐集資料，學習到了c 模板除了萃取的又乙個新技術，sfinae技術，即匹配失敗不是錯誤。sfinae的意思是這樣的，假如有乙個特化會導致編譯時錯誤 ...
啃模板技術之SFINAE
sfinae說直白點就是模板類和模板函式匹配替換，找候選時的取捨過程。模板的篩選確定一定是要找到最準確的那個，而恰恰c 又支援類模板的特化和函式過載，那面對多個同名的定義，怎麼辦？先找出所有候選，候選的意思是能用就用，不能用換別個。所以對挑選過程一視同仁，先做實參的型別替換，乙個不匹配就換下乙個。這...
編譯期多型和Sfinae
一旦型別匹配成功，模板就會被例項化，如果在模板函式內部發生了編譯錯誤，編譯會失敗！也就是說，模板一旦例項化，sfinae就無法讓錯誤再被忽略了 template class is class 觸發sfinae機制，可以使用enable if t模板使得某些模板在編譯期不展開，實現一定的編譯期多型的功...