4

尝试使用尾随返回类型和标签调度，我编写了以下代码。

#include <string>
#include <iostream>

using namespace std;

namespace Params
{
struct t_param1{};
struct t_param2{};
};

template<typename t_detail>
struct Select;

template<>
struct Select<Params::t_param1> {using choice = Params::t_param1;};

template<>
struct Select<Params::t_param2> {using choice = Params::t_param2;};

class Tester
{
private:
    using t_uint32 = uint32_t;
    using t_string = string;

private:
    t_uint32 m_param1;
//      t_string m_param2;

private:
    template<typename t_entity>
    void assign(const Params::t_param1&, t_entity&& entity);

    template<typename t_entity>
    void assign(const Params::t_param2&, t_entity&& entity);

    auto access(const Params::t_param1&) -> decltype(m_param1);
//      auto access(const Params::t_param2&) -> decltype(m_param2);


public:
    template<typename t_detail, typename t_entity>
    void assign(t_entity&& entity);

    template<typename t_detail>
    auto access() -> decltype(access(typename Select<t_detail>::choice()));
};

template<typename t_detail, typename t_entity>
void
Tester::assign(t_entity&& entity)
{
assign(typename Select<t_detail>::choice(), entity);
}


template<typename t_entity>
void
Tester::assign(const Params::t_param1&, t_entity&& entity)
{
m_param1 = entity;
cout << "Assigned m_param1 with " << entity << endl;
}

/*
template<typename t_entity>
void
Tester::assign(const Params::t_param2&, t_entity&& entity)
{
m_param2 = entity;
cout << "Assigned m_param2 with " << entity << endl;
}
*/



template<typename t_detail>
auto
Tester::access()
-> decltype(access(typename Select<t_detail>::choice()))
{
return(access(typename Select<t_detail>::choice()));
}

auto
Tester::access(const Params::t_param1&)
-> decltype(m_param1)
{
return(m_param1);
}

/*
auto
Tester::access(const Params::t_param2&)
-> decltype(m_param2)
{
return(m_param2);
}
*/

int main() {
auto tester = Tester();
tester.assign<Params::t_param1>(79);
//  tester.assign<Params::t_param2>("viziv");

auto param1 = tester.access<Params::t_param1>();
//  auto param2 = tester.access<Params::t_param2>();

cout << "Access: param1 = " << param1 << endl;
//  cout << "Access: param2 = " << param2 << endl;

return 0;
}

当我使用 Apple LLVM 版本 7.0.2 (clang-700.1.81) 编译此代码时，出现以下编译错误

junk1.cpp:78:9: error: out-of-line definition of 'access' does not match any declaration in 'Tester'
Tester::access()
        ^~~~~~
1 error generated.

奇怪的是，当我取消注释分配和访问 param2 的代码（在上面的代码中注释掉）时，它编译得很好并产生了所需的结果。

我究竟做错了什么？谁能向我解释为什么在编译行为中包含 param2 更改？

4

1 回答 1

0

我认为这里有一个半问题。

第一个在于使用尾随返回类型本质上创建了一个模板函数。当你尝试使用一个类的函数时，类的类型不能不完整。

这就是为什么将公共access方法的函数定义移动到类声明中修复它的原因（Demo）；只要access尚未定义公共方法，则该类是不完整的，并且在该类完成之前无法定义该方法。

请注意，解决此问题的另一种方法是，如果私有版本access不知何故是非成员函数（例如，周围范围内的自由浮动函数）。

这种方法的问题（问题的一半，因为您实际上并没有尝试这样做）是，尝试调用现在免费的浮动版本access需要编译器评估所有可能的重载，包括公共模板化access（谢谢到ADL）。发生这种情况时，将在非推导上下文Select<t_detail>::choice中进行评估，并且无法获得实际的底层类型。

因此，如果我们将 private 移出并重access命名Tester （类似于access2），那么我们可以将 publicaccess函数的声明和定义分开（Demo）

于 2016-02-19T17:03:54.627 回答