変換という形式を取るのが妥当な場面なのかどうかは脇に置いて、
>>95 のような書き方でやりたいというならこう書ける。
#include <iostream>
struct Hoge {
template <class T> Hoge(const T& f) { f(); }
};
int main() {
Hoge hoge = [] { std::cout << "hoge\n"; };
}
より親切に制約も書くならこうかな？ C++11 の範囲内でやろうとすると変な感じなんだけど仕方がない。 enabler イディオムってなんか不格好じゃない？
#include <iostream>
#include <type_traits>
struct Hoge {
template <class T, typename std::enable_if<std::is_same<decltype(std::declval<T>()()), void>{}, std::nullptr_t>::type = nullptr> Hoge(const T& f) { f(); }
};
int main() {
Hoge hoge = [] { std::cout << "hoge\n"; };
}
C++20 だと制約の記述がすっきりしてかなり楽になる。
#include <iostream>
#include <type_traits>
struct Hoge {
template <class T> requires std::is_invocable_r_v<void, T> Hoge(const T& f) { f(); }
};
int main() {
Hoge hoge = [] { std::cout << "hoge\n"; };
}
