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

我想对lambdas的参数类型进行静态检查。我在下面编写了这段代码，它似乎产生了正确的结果

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"

template<typename L>
struct ArgType2;

template<typename ClosureType, typename R, 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"

---

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

< p>它们都是“标准”，（DECKECTYPE）//>方法在现代C++变体中是简单可用的，PTS方法是在C++标准下执行这种事情的唯一方法。

< P>两种方法都是有效的，可互换，并导致相同的结果。（推断参数lambda接受的类型）

对于类型特征，标准（见23.15.1要求）要求：

一个UnaryTypeTrait描述一个类型的属性。它应该是一个类模板，它接受一个模板类型参数，还可以选择附加参数来帮助定义所描述的属性

BinaryTypeTrait描述两种类型之间的关系。它应该是一个接受两个模板类型参数的类模板 以及（可选）有助于定义 正在描述的关系

TransformationTrait修改类型的属性。它应该是一个类模板，它接受一个模板类型参数，还可以选择使用其他参数来帮助定义修改

我认为这个需求出现的主要原因是历史原因，因为

decltype

功能是在类型特征被提出之后引入的（这些类型特征基于boost的类型特征，boost创建得更早，例如，请参见）

另外，请注意，对于通用类型特征，类模板比基于函数声明和

decltype

的逻辑更灵活

---

主要的一点是，对于C++11和更高版本，在您的特定情况下，您可以自由地使用最方便的方式，并更好地反映编程逻辑。

就个人而言，我看不出两种方法之间有任何显著的差异，因此对我来说，这似乎是一个风格问题……因为我们谈论的是风格，您可能希望o

使用type=Arg

，而不是

typedef Arg type

。使用函数的返回类型允许推断参数。专门化更严格。在您的情况下，它是可互换的。