积分模板参数的类型推断

Question

我创建了一个拥有方法唯一标识的类型

template <typename Method, Method method>
struct identity {
};

所以我可以以独特的方式描述方法，即使它们具有相同的签名

struct Class {
    void foo() {}
    void bar() {}
};

typedef identity<decltype(&Class::foo), &Class::foo> foo_identity;
typedef identity<decltype(&Class::bar), &Class::bar> bar_identity;

std::cout << std::boolalpha << std::is_same<foo_identity, bar_identity>::value << std::end;
// prints "false"

由于实例化的方法过于冗长，因为两个名称都被使用了两次，所以可以将其缩短为：

#define GEN_IDENTITY(NAME) identity<decltype(&NAME), &NAME>
GEN_IDENTITY(Class::foo)

但是有没有办法在不使用宏的情况下推断它？或者也许还有其他方法可以得到一个可以明确描述方法的类型？

Answer 1

但是有没有办法不使用宏来推断它？

目前，没有。有一个建议在语言中添加一个构造，这将使非类型模板参数可以扣除，就像auto (N4469)

但现在，您可以用它来简化身份：

template<typename T, T t>
using identity = std::integral_constant<T, t>;