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。 我尝试了很多变体，但没有任何效果。我在 visual studio 2015 中。

附言哦，还有一个。我们可以用默认参数制作 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);