c 模板复制构造函数不可用或显式

Question

我用模板复制构造函数写了一段代码，以便更好地理解这个概念，因为我是新手，但是下面的代码无法编译

#include <iostream>
#include <vector>

using namespace std;

template <typename T>
class Grid
{
public:
    explicit Grid(size_t inWidth = kDefaultWidth, size_t inHeight = kDefaultHeight);
    virtual ~Grid();

    template <typename E>
    Grid(const Grid<T>& src);

    static const size_t kDefaultWidth = 10;
    static const size_t kDefaultHeight = 10;
    std::vector<std::vector<T>> mCells;
    size_t mWidth, mHeight;
};

template <typename T>
template <typename E>
Grid<T>::Grid(const Grid<T>& src)
{
    cout << "Copy constructor working " << endl;

}

int main()
{
    Grid<double> myDoubleGrid;
    Grid<double> newDoubleGrid(myDoubleGrid);
    return 0;
}

在Visual Studio中html" target="_blank">编译上述代码时出现以下错误：-

错误：-

严重性代码描述项目文件行抑制状态错误C2558类“网格”：没有可用的复制构造函数或复制构造函数被声明为“显式”

我试图用E替换参数的模板，但它显示了更多的错误(奇怪的错误)

template <typename T>
template <typename E>
Grid<T>::Grid(const Grid<E>& src)
{
    cout << "Copy constructor working " << endl;

}

错误：

严重性代码描述项目文件行抑制状态错误LNK2019未解析外部符号“public:__thiscall Grid:：Grid（unsigned int，unsignedint）”（？0$Grid@N@@QAE@II@Z） 在函数_main中引用

错误LNK1120 2未解析的外部

错误LNK2019无法解析的外部符号“public:virtual _ _ this call Grid::~ Grid(void)”(？？1?$Grid@N@@UAE@XZ)在函数“public:virtual void * _ _ this call Grid::` scalar deleting destructor '(unsigned int)”中引用(？？_G？$Grid@N@@UAEPAXI@Z)

Answer 1

因为你愚蠢的错误，你称之为危险错误的事情正在发生：-

1)您已经为构造函数和析构函数提供了声明。正如你所说，这是你唯一的源文件。这意味着您必须没有定义它们，这就是您得到的链接器错误的原因。有时这些非常简单的问题会被证明是非常危险和耗时的。

如果您不想提供任何详细的实现，可以用一对大括号替换分号。

2)您正在尝试做的事情是完全无逻辑的，因为您正在使用类似于复制构造函数的符号创建一个转换器构造函数。无论如何，编译器会优先选择复制构造函数，而不是转换器构造函数。

最终，您对构造函数的定义将永远不会被真正调用。

Answer 2

请注意＜code＞网格

Answer 3

模板构造函数从来都不是（！）复制构造函数。代码中的构造函数只是一个转换构造函数。

您可能同时需要：

#include <iostream>
#include <vector>

// Please do not have this ugliness in a header!
using namespace std;

template <typename T>
class Grid
{
public:
    explicit Grid(size_t inWidth = kDefaultWidth, size_t inHeight = kDefaultHeight)
    // initialize members ...
    {}

    // Without this copy-constructor the compiler generates a copy-constructor
    // (with no output, of course)
    Grid(const Grid& src) 
    // initialize members ...
    {
        cout << "Copy constructor" << endl;
    }

    template <typename E>
    Grid(const Grid<E>& src) 
    // initialize members ...
    {
        cout << "Converting constructor" << endl;
    }

    static const size_t kDefaultWidth = 10;
    static const size_t kDefaultHeight = 10;
    size_t mWidth, mHeight;
};

int main()
{
    Grid<double> myDoubleGrid;
    Grid<double> newDoubleGrid(myDoubleGrid); // Copy constructor
    Grid<int> newIntGrid(myDoubleGrid);       // Converting constructor
    return 0;
}

另见：

• http://en.cppreference.com/w/cpp/language/copy_constructor
• http://en.cppreference.com/w/cpp/language/converting_constructor
• 从模板基类的模板构造函数派生