Question

我有以下代码：

#include <array>
#include <iostream>
#include <typeinfo>
#include <type_traits>
#include <utility>

namespace impl
{
    template <typename T>
    struct Matrix_traits {

    };
}

template <size_t M, size_t N, typename T>
class Matrix
{

};

template <size_t M, size_t N, typename T>
struct impl::Matrix_traits<Matrix<M, N, T>> {
    template <typename U>
    struct scalar_mult_type
    {
        // just for testing
        using type = std::pair<std::array<T, M>, std::array<T, N>>;
    };
};

int main()
{
    Matrix<3, 4, char> m;

    mult(3, m);

    return 0;
}

当我使用以下函数实现时，我明确指定了返回类型：

template <typename T, typename U>
std::pair<std::array<char, 3>, std::array<char, 4>> mult(const T& lambda, const U& m)
{
    typename impl::Matrix_traits<U>::scalar_mult_type<T>::type result;
    std::cout << typeid(result).name() << "\tEUREKA!\n";
    return result;
}

它有效......但这显然不是我想要的......但是当我试图变得更灵活时：

template <typename T, typename U>
typename impl::Matrix_traits<U>::scalar_mult_type<T>::type mult(const T& lambda, const U& m)
{
    typename impl::Matrix_traits<U>::scalar_mult_type<T>::type result;
    std::cout << typeid(result).name() << "\tEUREKA!\n";
    return result;
}

我有＆＃34;无法识别的模板声明/定义＆＃34;错误。这对我来说真是个谜。为什么相同的声明适用于局部变量＆＃39;结果＆＃39;但作为返回类型失败了吗？

Answer 1

template丢失了，应该是

template <typename T, typename U>
typename impl::Matrix_traits<U>::template scalar_mult_type<T>::type
mult(const T& , const U& )
{
    typename impl::Matrix_traits<U>::template scalar_mult_type<T>::type result;
    std::cout << typeid(result).name() << "\tEUREKA!\n";
    return result;
}

Demo

返回模板化结果

1 个答案: