如何为模板类调用非默认构造函数？

Question

我有以下代码结构（Resource 和 Parameter 是空类）：

求解器.cpp

#include "Solver.h"
#include "ValueFunction.h"

using namespace std;

template<typename T>
Solver<T>::Solver(vector<vector<Resource> >& resources, const Parameter& params) : 
    states(resources.size()) {
    for (int i=0; i<resources.size(); i++) {
        states[i] = State<T>(resources[i], params);
    }
}

// Explicit class declaration
template class Solver<ValueFunction>;

求解器.h

#ifndef SOLVER_H_
#define SOLVER_H_

#include <vector>
#include "Resource.h"
#include "Parameter.h"
#include "State.h"

template<typename T>
class Solver {
    public:
        Solver(
            std::vector<std::vector<Resource> >& resources,
            const Parameter& params
        );
    private:
        std::vector<State<T> > states;
};

#endif /* SOLVER_H_ */

状态.cpp

#include "State.h"
#include "ValueFunction.h"

using namespace std;

template<typename T>
State<T>::State(vector<Resource>& _resources, const Parameter& params) : 
resources(_resources), valfuncs(_resources.size(), T(params)) {
}

template class State<ValueFunction>;

状态.h

#ifndef STATE_H_
#define STATE_H_

#include <vector>
#include "Parameter.h"
#include "Resource.h"

template<typename T>
class State {
public:
    State() {};
    State(std::vector<Resource>& _resources, const Parameter& params);
    ~State() {};
private:
    std::vector<Resource> resources;
    std::vector<T> valfuncs;
};

#endif /* STATE_H_ */

值函数.cpp

#include "ValueFunction.h"

ValueFunction::ValueFunction(const Parameter& _params) : params(_params) {
}

ValueFunction.h

#ifndef VALUEFUNCTION_H_
#define VALUEFUNCTION_H_

#include "Parameter.h"

class ValueFunction {
public:
    ValueFunction(const Parameter& _params);
private:
    const Parameter& params;
};

#endif /* VALUEFUNCTION_H_ */

通过以下调用：

#include "Solver.h"
#include "State.h"
#include "ValueFunction.h"
#include "Parameter.h"

using namespace std;

int main(int argc, char *argv[]) {
Parameter params;
    vector<vector<Resource> > resources(4);
    Solver<ValueFunction> sol(resources, params);
    return 0;
}

我收到以下错误：

Solver.cpp:18:16:   instantiated from here
ValueFunction.h:6:21: error: non-static reference member ‘const Parameter& ValueFunction::params’, can't use default assignment operator

如何正确调用ValueFunction 的非默认构造函数，或者是否有其他方法可以使用非默认构造函数（传递常量引用）初始化std::vector？

更新

此post 中解释了该错误。但是我的问题的解决方法并不完全清楚。有什么建议吗？

Answer 1

您正在使用调用向量成员的默认构造函数的构造函数的形式初始化Solver 的states。您可以将第二个参数传递给states 类型为State<T> 的向量构造函数，向量将使用复制构造函数以该参数作为源来初始化向量元素。 Solver 构造函数中的循环仍然可以在状态向量中提供您实际需要的值。

编译器生成的默认构造函数无法初始化引用。这是因为初始化对象是默认构造函数的工作，但是引用需要引用一些东西。正如您在声明没有初始化器的引用变量时遇到错误一样，默认构造函数也会遇到同样的问题。

int &r;      // this is an error
int i;
int &rr = i; // this is proper

使用向量构造函数的复制构造函数版本可以帮助您避免这个问题，因为复制构造函数使用它正在复制的对象的值来初始化引用。在这种初始化向量的形式中，states 中的每个元素都被设置为与第一个元素相同的值。

...
    : states(resources.size(), State<T>(resources[0], params))
...

也许更好的方法是使用向量本身的默认构造函数，并使用reserve 和push_back 向向量添加元素。这更好，因为它完全避免创建任何 State<T> 对象，直到它被实际添加到向量中。

...
    : states()
...
    states.reserve(resources.size());
    for (int i...) {
        states.push_back(State<T>(resources[i], params));
    }
...

第三种方法可以让您的原始代码按其编写的方式工作，即为ValueFunction 定义您自己的默认构造函数，将params 成员初始化为某些东西（可能是可怕的全局）。

class ValueFunction {
public:
    ValueFunction (); // define our own default constructor
    ...
};

const Parameter global_default_parameter;

ValueFunction::ValueFunction () : params(default_parameter) {}