C++：从不同的实例复制构造

Question

我希望能够使用不同“颜色”的实例复制构建 Particle<Color::X>。不同的实例化可能包含一组非常不同的成员，但它们都有任意数量的共同成员（下面用 intensity 举例说明）必须由 ctor 复制。

当然，所讨论的构造函数必须不接受不是 Particle.

实例化类型的对象

Color 中可能有无限数量的成员，因此手动编写接受每个变体的构造函数是不切实际的。

我应该使用 SFINAE，还是有更简单的方法来实现？

enum class Color
{
    RED,
    GREEN,
    BLUE
};

template <enum Color>
struct Particle
{
    int intensity;

    Particle(int i) : intensity{i} {};
};

auto main() -> int
{
    Particle<Color::RED> p1{42};
    // Particle<Color::BLUE> p2(p1); <- How do I make this compile?
}

Answer 1

如果你想要一个接受其他实例化实例的复制构造函数，那么你只需要一个接受任何实例化实例的复制构造函数:

enum class Color
{
    RED,
    GREEN,
    BLUE
};

template <Color c>
struct Particle
{
    int intensity;

    Particle(int i) : intensity{i} {};

    template <Color other_c>
    Particle(const Particle<other_c>& other) : intensity{other.intensity} {};
};

int main() {
    Particle<Color::RED> p1{42};
    Particle<Color::BLUE> p2(p1); 
}

正如 Caleth 在评论中指出的那样，严格来说，它是一个将一种类型转换为另一种类型的转换构造函数。 T 类型的复制构造函数接受 Ts.

请注意，在您的代码中，模板参数未命名。我想这是混乱的一部分。在您的代码中，如果不使用特征，您实际上无法知道 Color 给定的 Particle 实例是什么。即使在模板定义中，您也无法访问粒子颜色，因为它没有名称。我在上面改变了这个。虽然如果你不想浪费一个成员来存储 Particle 的 Color 但想从给定的实例化中推导出它，你可以这样做：

template <typename T> constexpr Color particle_color;
template <Color c> constexpr Color particle_color<Particle<c>> = c;

用法举例：

static_assert( particle_color<decltype(p2)> == Color::BLUE);

Live Demo

C++：从不同的实例复制构造

C++ : Copy-constructing from different instantiation

c++

enums

templates

copy-constructor