使用类型名的模板转发类声明

Question

我有以下情况：-

template<typename Derived, typename ValType>
class foo
{
public:
    template<typename R>
    bar<typename std::vector<R>::const_iterator> select()
    {
        std::vector<R> translation;

        return bar<typename std::vector<R>::const_iterator>(std::move(translation));
    }
};

template<typename T>
class bar
    : public foo<bar<T>, typename std::iterator_traits<T>::value_type>
{
public:
    bar(std::vector<typename std::iterator_traits<T>::value_type>&& vec)
    {

    }
};

这基本上是我正在使用 CRTP 和 foo 作为 mixin 的一个小概念证明。

问题是我认为我应该使用前向声明，但是我尝试了以下方法：-

class bar; // I didn't expect this to work

但是我确实希望这会起作用：-

template<typename R>
class bar;

在我真正调用 select() 之前编译得很好

std::vector<int> enumerable_vector;
enumerable_vector.push_back(1);
enumerable_vector.push_back(2);

bar<typename std::vector<int>::const_iterator> baz(std::move(enumerable_vector));
baz.select<std::string>();

这会导致以下错误：-

错误错误C2027：使用未定义类型 'foo::bar'

任何帮助将不胜感激，谢谢！

Answer 1

错误错误 C2027：使用未定义类型 'foo::bar'

错误消息似乎表明您在foo 中转发声明了嵌套类型bar。您需要转发声明正确的类型（将bar 的声明移动到foo 的定义之上的命名空间级别）

Answer 2

编辑：这个答案不正确。 bar 在select 被定义 时不需要完整，当select 被实例化 时它必须是完整的。无需将select 的定义移到bar 的类说明符之后。

---

问题是您在 foo 的类说明符中对 select 的定义要求 bar 是完整的。如果您转发声明 bar 并且仅在类说明符中 declare select，您可以将 select 的定义移动到 bar 完成的位置。 It then compiles fine:

#include <iterator>
#include <utility>
#include <vector>

template<typename T> class bar;

template<typename Derived, typename ValType>
class foo
{
public:
    template<typename R>
    bar<typename std::vector<R>::const_iterator> select();
};

template<typename T>
class bar
    : public foo<bar<T>, typename std::iterator_traits<T>::value_type>
{
public:
    bar(std::vector<typename std::iterator_traits<T>::value_type>&& vec)
    {

    }
};

template<typename Derived, typename ValType>
template<typename R>
bar<typename std::vector<R>::const_iterator> foo<Derived, ValType>::select()
{
    std::vector<R> translation;
    return bar<typename std::vector<R>::const_iterator>(std::move(translation));
}