C模板元编程：如何推断表达模式中的类型

struct B { };
auto lamBc = [](B const& b) { std::cout << "lambda B const" << std::endl; };

template<typename ClosureType,typename R,typename Arg>
constexpr auto ArgType(R (ClosureType::*)(Arg) const)->Arg;

template <typename T>
using ArgType_t = decltype(ArgType(&T::operator()));

// ArgType_t<lamBc> is "reference to B const"

但是,我注意到,例如,标准库使用类模板特化来从std :: remove_reference中的引用类型中提取引用类型.所以我尝试了这种方法,它似乎也产生了正确的结果.

template<typename L>
struct ArgType2;

template<typename ClosureType,typename Arg>
struct ArgType2<R (ClosureType::*)(Arg) const>
{
    typedef Arg type;
};

template <typename T>
using ArgType2_t = typename ArgType2<decltype(&T::operator())>::type;

// ArgType2_t<lamBc> is also "reference to B const"

我的问题是：哪种是从模式表达式中提取类型的标准方法？两种方法的权衡取舍是什么？