Question

为什么以下代码会产生编译器错误没有名为make_static_vector 的模板？

template<class Tuple>
class vector;

template<typename T, std::size_t N>
using static_vector = vector<std::array<T, N>>;

template<class Tuple>
class vector
{
private:
    using value_type = std::decay_t<decltype(std::declval<Tuple&>().operator[](0))>;

    template<typename T, typename... Elements>
    friend static_vector<T, sizeof...(Elements)> make_static_vector(Elements&&... elements) {
        return { std::forward<Elements>(elements)... };
    }

    template<typename... Elements>
    vector(Elements&&... elements)
        : m_elements{ static_cast<value_type>(std::forward<Elements>(elements))... }
    { }

    Tuple m_elements;
};

int main()
{
    make_static_vector<double>(1, 1);   
    return 0;
}

我创建了一个live demo of the code。当我在类之外移动make_static_vector的定义并且只将声明部分留在类中时，它正在工作。

为什么不能直接在类中定义函数？

Answer 1

你宣布模板功能的唯一地方是在课堂内;它在封闭的命名空间中不是“可见的”，因此不能用于正常查找，仅用于参数依赖查找。

你需要在类之外为要找到的函数声明（并定义）它，并将其声明为友元函数（如你所知）。

来自cppreference

在类或类模板X中的友元声明中首先声明的名称成为X的最内层封闭命名空间的成员，但是无法进行查找（除了依赖于参数的查询，除非在此处使用匹配的声明）提供了命名空间范围...

在模板类中定义模板化的友元函数

1 个答案: