我对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 个,等等。我想好好积累每一种情况
我能想到的可能的解决方案。
- 通过提供初始 vlaue,让用户依赖
std::accumulate
。 - 提供具有初始值的重载
sumator
。如果用户的类型没有默认构造函数,则可以使用初始值调用重载。 - 坚持调用函数的类型具有默认的引体。
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);
}
另一种选择是添加一个可用于默认可构造类型的默认参数 - 您还可以使其更通用,使其不仅适用于vector
s,也适用于list
s 等。
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);
}