0

我想创建能够提取结构 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)吗?

4

1 回答 1

3

你去:

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);
于 2018-01-18T17:29:50.677 回答