推断指针非类型模板参数的类型答案

【问题标题】：Deducing the type of a pointer non-type template parameter推断指针非类型模板参数的类型
【发布时间】：2020-06-21 21:32:13
【问题描述】：

我有一个函数，它接受一个指向任意对象（带有链接）的指针O 作为非类型模板参数，如下所示：

Foo foo;

...

template <typename T, T* O>
ftype* make_function() {
    // do something with O
}

要将指针传递给Foo 类型的foo 对象，我需要这样调用它：

make_function<Foo, &foo>()

但是，我想简单地将其称为 make_function<&foo>()，即推断出指针的类型 Foo，因为它可能具有相似的模式（例如，如果我将 foo 作为论据）。

这是关于 Godbolt 的更多 fleshed out example。

【问题讨论】：

【解决方案1】：

C++17 允许

template <auto* O>
ftype* make_function() {
    // do something with O
}

在那之前，你确实需要

template <typename T, T* p>

宏可以帮助减少使用时的冗长：

#define AUTO(p) decltype(p), p

// ...

make_function<AUTO(&foo)>();

【讨论】：