C++ 模板模板类型推断

Question

所以我有一个类似这样的结构：

template<uint8 N>
class SomeStruct { ... };

class Node {
    SomeStruct<0> a;
    SomeStruct<2> b;
    SomeStruct<4> c;
};

我有一个模板函数，它在节点的特定字段上做一些事情：

template<uint8 N>
using NodeFieldPtr = SomeStruct<N> Node::*;

template <uint8 N, NodeFieldPtr<N> F>
void doSomething(Node* node0, Node* node1) { ... }

我觉得不得不再次在doSomething() 上指定“N”很烦人，因为调用它并不优雅：

doSomething<2, &Node::b>(...);

我怎样才能“很好地”告诉编译器不要关心SomeStruct<> 的确切模板参数。类似于通配符。

template <NodeFieldPtr<?> F> //<- unfortunately not C++
void doSomething(Node* node0, Node* node1) { ... }

doSomething<&Node::b>(...);

Answer 1

自 C++17 起，您可以使用 auto 非类型模板参数：

template <auto F>
void doSomething() { }

int main()
{
    doSomething<&Node::b>();
}

live example on godbolt.org

Answer 2

auto（C++17 起）怎么样：

template <auto F>
void doSomething(Node* node0, Node* node1)
{
// ... 
}

Answer 3

为了补充其他答案，如果您希望限制 F 的类型并且具有您所追求的语法，您可以使用自定义类型特征：

template<int N>
using NodeFieldPtr = SomeStruct<N> Node::*;

template<typename> struct is_some_struct_memptr                  : std::false_type{};
template<int N>    struct is_some_struct_memptr<NodeFieldPtr<N>> : std::true_type {};

有了这个，我们可以在 C++17 中约束 doSomething：

template <auto F>
auto doSomething(Node*, Node*) -> std::enable_if_t<is_some_struct_memptr<decltype(F)>::value>
{
}

甚至是 C++20：

template <auto F>
void doSomething(Node*, Node*) requires (is_some_struct_memptr<decltype(F)>::value)
{
}