boost::fusion::fused
これは、 decltype を使用しているときに関数ラッパーのバグを調べていたときに発生しました。問題は、それを必要とするテンプレートのインスタンス化が使用されない場合でも、無効な decltype がコンパイル エラーであるように思われ、ジェネリック関数ラッパーを作成するためにそれを回避する方法がわかりません。
単一引数ラッパーでの私の試みは次のとおりです。
#include <utility>
#include <type_traits>
template <class T>
typename std::add_rvalue_reference<T>::type declval();
template <class Fn, class Arg>
struct get_return_type
{
typedef decltype(declval<Fn>()(declval<Arg>())) type;
};
template <class Fn>
struct wrapper
{
explicit wrapper(Fn fn) : fn(fn) {}
Fn fn;
template <class Arg>
typename get_return_type<Fn,Arg&&>::type
operator()(Arg&& arg)
{
return fn(std::forward<Arg>(arg));
}
template <class Arg>
typename get_return_type<const Fn,Arg&&>::type
operator()(Arg&& arg)
{
return fn(std::forward<Arg>(arg));
}
};
問題は、非 const バージョンの引数が const バージョンの引数に変換できない場合、これが機能しないことです。例えば:
#include <iostream>
struct x {};
struct y {};
struct foo
{
void operator()(x) { std::cout << "void operator()(x)" << std::endl; }
void operator()(y) const { std::cout << "void operator()(y) const" << std::endl; }
};
int main()
{
wrapper<foo> b = wrapper<foo>(foo());
b(x()); // fail
}
によって引き起こされた decltype 式の失敗は、void operator()(y) const
単に SFINAE のためにその関数が削除されるという結果になるはずです。