-1

我有一个应该接受几个参数的函数，在将所有参数添加到之后*this，operator+=它被重载并为一个参数工作。功能看起来像

template <typename T, typename U>
struct are_equal :
    std::is_same<typename std::decay<T>::type, U>::type
{};

template<typename T>
template<typename... U>
std::enable_if_t<are_equal<U ..., Object<T>>::value>
Object<T>::addd(U &&... u)
{
//  *this += std::forward<U>(u)...;
}

可能我有两个问题。1. 我认为我应该用 更改我的部分代码type_traits，但我的实验没有给出正确的结果。注释行错误（在哪里operator +=）

C2893 无法专门化函数模板'enable_if<_Test,_Ty>::type Object::addd(U &&...)' C2672'Object::addd'：找不到匹配的重载函数

  1. 注释行中字典（？）的问题：

    *this += std::forward<U>(u)...;

错误：

C2143 语法错误：缺少 ';' 前 '...'

C2059 语法错误：'...'

C3520 'u'：必须在此上下文中展开参数包

Operator+=适用于一个元素（我敢肯定）。

4

2 回答 2

4

我假设您希望该包扩展产生如下内容：

*this += std::forward<U>(u_1),
*this += std::forward<U>(u_2),
// ...
*this += std::forward<U>(u_n);

*this += std::forward<U>(u)...;不起作用的原因是，粗略地说，由包扩展（但不是折叠表达式，见下文）产生的逗号不能用作操作符。

经典的 C++17 之前的解决方法是使用虚拟数组：

using dummy_array = int[];
dummy_array{(*this += std::forward<U>(u), 0)..., 0};

请注意，此扩展产生的逗号不用作运算符（而是用作元素初始值设定项的分隔符），因此不应用上述限制。

上面代码片段中的第一个, 0让我们忽略*this += blah.
第二个, 0用于支持空参数包（否则将尝试创建一个空数组，这是不允许的）。

类型别名是必需的，因为编译器不允许您int[]{blah, blah}直接使用。

作为替代using，您可以使用类似的东西

std::enable_if_t<1, int[]>{(std::cout << p, 0)..., 0};

另一种选择是创建一个实际数组而不是临时数组：

int dummy_array[]{(std::cout << p, 0)..., 0};
(void)dummy_array;

但是我不太喜欢这个。

如果你有 C++17，你应该改用折叠表达式：

((*this += std::forward<U>(u)), ...);
于 2017-07-11T18:56:36.743 回答
2

我认为您想要以下内容：

template <bool ... Bs> struct bools {};

template <bool ... Bs>
using all_of = std::is_same<bools<true, Bs...>, bools<Bs..., true>>;

template <typename T, typename ... Ts>
using are_equal = all_of<std::is_same<T, Ts>::value...>;

template<typename T>
template<typename... Us>
std::enable_if_t<are_equal<T, std::decay_t<Us>...>::value>
Object<T>::add(Us&&... u)
{
    const int dummy[] = {0, ((*this += std::forward<Us>(u)), 0)...};
    static_cast<void>(dummy);
}
于 2017-07-11T18:55:39.057 回答