0

标准中是否有任何“工具”，用于此类模板功能：

template<typename FirstArg, typename... Args>
auto average(FirstArg &&firstArg_, Args&&... args_)
{
    // example:
    std::widest_type_t<FirstArg> sum;
    sum += std::forward<FirstArg>(firstArg_);
    sum += (... + std::forward<Args>(args_)); // unfold
    sum /= (sizeof...(Args) + 1);
    return sum;
}

可以说，此模板中的每个参数类型都是相同的。例如： nstd::int32_t的平均值。我用 imaginarywidest_type_t来可视化用法。平均计算需要对每个参数求和，因此，为了避免（或尽可能减少）溢出，我需要尽可能使用最大宽度类型。例子：

  • char->std::intmax_t
  • std::uint16_t->std::uintmax_t
  • float-> long double（或其他类型，由实现决定）

当然，我可以自己写这个，但是在标准中有这样的东西会很好。

编辑：
我可以使用移动平均，但是这个函数将只用于少量参数（通常是 2-8），但我使用的类型很容易“溢出”。
编辑2：
我也知道，对于大量参数，最好使用任何类型的数组。

4

1 回答 1

1

使用最宽的类型并不能保证没有溢出（并且在除法时仍然可以删除小数值），但是您可以扩展提升规则来做到这一点：

template<typename T>
struct widest_type {
    static constexpr auto calculate() {
        if constexpr (std::is_floating_point_v<T>) {
            using LongDouble = long double;
            return LongDouble{};
        } else if constexpr (std::is_signed_v<T>) {
            return std::intmax_t{};
        } else if constexpr (std::is_unsigned_v<T>) {
            return std::uintmax_t{};
        } else {
            return std::declval<T>();
        }
    }

    using type = decltype(calculate());
};

template<typename T>
using widest_type_t = typename widest_type<T>::type;

template<typename FirstArg, typename... Args>
auto average(FirstArg &&firstArg_, Args&&... args_)
{
    using Common = std::common_type_t<FirstArg, Args...>;
    widest_type_t<Common> sum;
    sum += std::forward<FirstArg>(firstArg_);
    sum += (... + std::forward<Args>(args_)); // unfold
    sum /= sizeof...(args_) + 1;
    return sum;
}

如果if constexpr不可用，则std::conditional可以解决问题。同样，std::is_foo<T>{}可以代替std::is_foo_v<T>.

我选择将类型特征限制为单一类型，因为std::common_type已经做了合理的工作来弄清楚如何组合类型。你会注意到我使用它并将结果传递给widest_type.

于 2018-02-23T02:21:57.093 回答