[分享] 一個 variadic template 形式的問題

看板C_and_CPP (C/C++)作者yoco315 (眠月)時間11年前 (2014/09/09 11:48)推噓3(3推 0噓 9→)

留言12則, 4人參與討論串1/1

週末自幹一個 variant ( 類似 http://www.boost.org/doc/libs/1_56_0/doc/html/variant.html ) 我的 variant 宣告長這樣 template <typename T0, typename ... Rest> class variant { ... }; 在幫這個 class variant 加上 std::cout << 的支援的時候遇到一個小問題 template <typename ... Ts> std::ostream& operator<<(std::ostream& os, const variant<Ts...>& v) { return v.apply([&os](const auto& m) -> decltype(auto) { return os << m; }); } 然後使用他 variant<int, double> v{3}; std::cout << v << std::endl; // 編譯失敗，找不到對應的 << candidate 當中有我寫的那個 operator<< 版本，但 Ts... 被推導成 <> 也就是一個 type argument 都沒有推導成功神奇的是我改成 template <typename T0, typename T1> std::ostream& operator<<(std::ostream& os, const variant<T0, T1>& v) { return v.apply([&os](const auto& m) -> decltype(auto) { return os << m; }); } 就成功了，百思不得其解。可是這種寫法，只能用在固定個數的 type arguments。後來想一想，該不會是 template args 的形式上也要對應吧 = =|| 於是改成像 variant<T0, Rest...> 的形式試試看 template <typename T0, typename ... Rest> std::ostream& operator<<(std::ostream& os, const variant<T0, Rest...>& v) { return v.apply([&os](const auto& m) -> decltype(auto) { return os << m; }); } 竟然過了 = =|| 雖然不知道原因，其實標準我也沒很熟，但總之會動就好分享一下，以免以後有人撞到一樣的問題 -- To iterate is human, to recurse, divine. 遞迴只應天上有, 凡人該當用迴圈. 　 L. Peter Deutsch -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.251.36.252 ※ 文章網址: http://www.ptt.cc/bbs/C_and_CPP/M.1410234512.A.38C.html