模板默认 init，如果类中没有默认构造函数

Template default init, if there no default constructor in a class

本文关键字：默认 构造函数 如果 init      更新时间：2024-05-09

我对C++很陌生。我编写了一个函数模板来对向量中的所有元素求和，如下所示：

template<typename T>
inline T sumator(const std::vector<T> &sequence) {
T init = T{};
return accumulate(sequence.begin(), sequence.end(), init);
}

一切都运行良好，直到默认构造函数不声明，而是从例如 2 个参数声明构造函数。 喜欢这个：

class A {
private:
int a;
int b;
public:
//        A() = default;
A(int aa, int bb) : a(aa),b(bb){};
A operator+(const A &right) const {
return {a + right.a, b + right.b};
}
bool operator==(const A &right) const {
return (a == right.a && b == right.b);
}
};
vector<A> bc = {{3,5},{5,5}};
A res = Adder::sumator(works);
A result = {8,10};
assert(result,res);

现在我收到一个错误，例如：错误：没有匹配的构造函数来初始化"A" T init = T{};

我怎样才能避免这种情况，不使用 https://en.cppreference.com/w/cpp/types/is_default_constructible

UPD：我有很多类，其中一些带有默认构造函数，有些没有但带有 2 arg 的构造函数，一些用于 3 个，等等。我想好好积累每一种情况

我能想到的可能的解决方案。

  1. 通过提供初始 vlaue，让用户依赖std::accumulate。
  2. 提供具有初始值的重载sumator。如果用户的类型没有默认构造函数，则可以使用初始值调用重载。
  3. 坚持调用函数的类型具有默认的引体。
template<typename T>
inline T sumator(const std::vector<T> &sequence, T init) {
return accumulate(sequence.begin(), sequence.end(), init);
}
template<typename T>
inline T sumator(const std::vector<T> &sequence) {
return accumulate(sequence.begin(), sequence.end(), {});
}

您可以使用默认参数添加另一个参数。

template<typename T>
inline T sumator(const std::vector<T> &sequence, const T& init = T{}) {
return accumulate(sequence.begin(), sequence.end(), init);
}

对于类型可以是默认构造的，您仍然可以

sumator(some_vector);

并在无法默认构造T时指定默认值。

sumator(some_vector, A{0, 0});

您可以将其拆分为两个重载，并添加一个static_assert，以便在有人试图以错误的方式使用它时提供很好的编译错误消息。

仅当类型是默认可构造的类型时，一个重载才有效，并且一个重载对于不那么好的类型以及以下类型有效：

#include <type_traits>
#include <vector>
template<typename T>
T sumator(const std::vector<T>& sequence) {
static_assert(std::is_default_constructible_v<T>);
return std::accumulate(sequence.begin(), sequence.end(), T{});
}
template<typename T>
T sumator(const std::vector<T>& sequence, const T& init) {
return std::accumulate(sequence.begin(), sequence.end(), init);
}

另一种选择是添加一个可用于默认可构造类型的默认参数 - 您还可以使其更通用，使其不仅适用于vectors，也适用于lists 等。

template<template<class, class...> class C, class T, class... Ts>
T sumator(const C<T, Ts...>& sequence, const T& init = T{}) {
return std::accumulate(sequence.begin(), sequence.end(), init);
}
相关文章：