c++ - 为什么通用引用不适用于数组？

Question

#include <type_traits>

template<typename T>
void f(const T&)
{
    static_assert(std::is_array_v<T>); // ok
}

template<typename T>
void g(T&&)
{
    static_assert(std::is_array_v<T>); // error
}

int main()
{
    char arr[8];
    f(arr); // ok
    g(arr); // error
}

我的编译器是带有 -std=c++17 的 clang 7.0。

为什么通用引用不适用于数组？

Answer 1

首先，这些被官方称为“转发引用”，而不是“通用引用”。

你的 static_assert 失败是因为 T 在将左值传递给采用 的函数时被推断为 T&”转发引用” - 这是 “转发引用” 的特殊规则之一，适用于模板参数推导。

您可以通过先去除任何引用来修复您的断言:

static_assert(std::is_array_v<std::remove_cvref_t<T>>); 

live example on godbolt.org

---

std::remove_cvref_t是一个前沿的 C++20 特性——如果您的编译器不支持它，您可能想使用 std::remove_reference_t。