4

我知道如何完善转发参数。但是，我从不同的来源（例如 Effective Modern C++ Item 24 - Scott Meyers）读到，只有当您拥有确切的模板名称时，才能完美转发，例如：

template<typename T>
void foo(T&& param) { bar(std::forward<T>(param)); }

我正在寻找的是是否有一种方法可以完善转发模板模板参数，例如：

template<template<int, class TypeT> class Vector, int Size, typename TypeT>
void foo(Vector<Size, TypeT>&& param) { bar(std::forward<Vector<Size, TypeT>>(param)); }

当我编译上述内容时，我收到一条错误消息：“您无法将左值绑定到右值引用”（VC12），这向我表明编译器不将 && 识别为“通用引用”，而是将其识别为右值引用. 这种完美的转发可能对我有用，因为我可以利用推断的 TypeT 和 Size。

问题：是否可以完善转发模板模板参数？如果是这样，我的语法在哪里不正确？

谢谢！

4

1 回答 1

5

“通用引用”（标准术语是转发引用）是（根据定义）对 cv 非限定模板参数的右值引用，即T&&.

Vector<Size, TypeT>&&是右值引用，而不是转发引用。

如果要获取模板参数的值，请编写一个特征：

template<class> struct vector_traits;

template<template<int, class TypeT> class Vector, int Size, typename TypeT>
struct vector_traits<Vector<Size, TypeT>>{
    static constexpr int size = Size;
    using value_type = TypeT;
};

并检查std::decay_t<T>：

template<class T>
void foo(T&& t) {
    using TypeT = typename vector_traits<std::decay_t<T>>::value_type;
    // use TypeT.
}

您还可以将其移动到默认模板参数，这使得SFINAE 友好（如果不是“向量” foo，它将从重载集中删除）：std::decay_t<T>

template<class T,
         class TypeT = typename vector_traits<std::decay_t<T>>::value_type>
void foo(T&& t) {
    // use TypeT.
}
于 2016-03-01T00:55:55.587 回答