Question

我想创建能够提取struct 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);
}

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

P.S。哦，还有一个。我们可以使用默认参数创建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);

使用auto-＆gt; decltype方法显式实例化函数

1 个答案: