C++ 模板函数未使用的类型名

Question

我正在尝试了解 C++ 模板并复制语义。 我明白为什么我不能打电话给assign1（它要求提供右值引用，我提供了一个左值引用） 但是为什么我可以调用 assign2 来施加相同的约束呢？

template<typename... Args>
void assign1(Args&& ... arguments) { }

template<typename A, typename... Args>
void assign2(Args&& ... arguments) { }

template<typename A, typename B, typename... Args>
void assign3(Args&& ... arguments) { }

int main() {
    const int r = 2;
    assign1<int>(r);        // no matching function for call to...
    assign2<int>(r);        // ok!
    assign3<int>(r);        // no matching function for call to...
}

Answer 1

给定assign1<int>(r);，你明确指定了模板参数，那么assign1的参数类型将是int&&，正如你所说，它是右值引用，不能与左值绑定。

给定assign2<int>(r);，您将第一个模板参数A 指定为int，参数包Args 将从函数参数r 推导出来。请注意，它不是右值引用，而是forwarding reference，它可以同时接受左值和右值。 （根据函数参数是左值还是右值，根据类型推导结果，函数参数类型为左值引用或右值引用。）

给定assign3<int>(r);，您只指定了第一个模板参数A，但无法从函数参数推导出第二个参数参数B，因此调用失败。

---

如果你想让函数模板只接受右值，你可以加static_assertlike

template<typename A, typename... Args>
void assign2(Args&& ...) { 
    static_assert(((!std::is_lvalue_reference_v<Args>) && ...), "must be rvalue");
}

LIVE

或申请SFINAE。

template<typename A, typename... Args>
std::enable_if_t<((!std::is_lvalue_reference_v<Args>) && ...)> assign2(Args&& ...) {
}

LIVE

或者添加另一个采用左值引用的重载并将其标记为delete。 （这种方法只有在所有参数都是左值时才有效。）

template<typename A, typename... Args> 
void assign2(Args& ... arguments) = delete;

LIVE