c++ - 使用 auto->decltype 方法显式实例化函数

Question

我想创建能够提取结构 A 的任何属性的模板函数。

这是 Source.h

struct B
{
    int bbb;
};

struct C
{
    double ccc;
};

struct A
{
    B b;
    C c;
};

template <class R>
auto foo(A* str, R getter) -> decltype(str->*getter);

现在我想对 foo 使用显式实例化方法

Source.cpp来了：

#include "Source.h"

template <class R>
auto foo(A* str, R getter) -> decltype(str->*getter)
{
    return str->*getter;
}

如果我们查看 Main.cpp，我们可以看到，如果在上面的代码块中没有显式实例化，我们会得到链接错误：

//MAIN.cpp
#include "Source.h"

void main()
{
    A a;
    a.b.bbb = 7;
    auto z = foo(&a, &A::b);
}

现在我的问题是如何为 &A::b 和 &A::c 类型显式实例化 foo 。我尝试了很多变种，但没有任何效果。我在视觉工作室 2015。

PS哦，还有一个。我们可以用默认参数为 foo 制作 foo R = decltype(&A::b)吗？

Answer 1

你去：

template B &foo(A*, B A::*);
template C &foo(A*, C A::*);

至于默认参数，您需要类型和值的默认值：

template <class R = B A::*>
auto foo(A* str, R getter = &A::b) -> decltype(str->*getter);