週末自幹一個 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;
});
}
竟然過了 = =||
雖然不知道原因，其實標準我也沒很熟，但總之會動就好
分享一下，以免以後有人撞到一樣的問題

http://ideone.com/UGsyKZ 看起來像是gcc的bug他覺得兩邊導出來的double是不同的東西

我是用 clang++-3.5 @@~ 可能兩邊都有這 bug?

不知道這樣 deduction 怎麼推的XD 難道是直接形式上match所以萬一 variant 沒有前面 typename T0 會可過?

沒T0會過

我這邊的狀況是，如果 variant 是 <T0, Rest...>那 << 也要是 <T0, Rest...> 的形式才會過，不然推導失敗不辦法直接寫成 <Ts...> Q_Q

為什麼不寫primary class然後有T0的作partial specializag++4.9.0會過

唔, 用 4.9.1 有過++