C++：从不同的实例化复制构造-解网

问：

我希望能够使用不同“颜色”的实例复制构造一个。不同的实例化可能包含一组非常不同的成员，但它们都具有任意数量的共同成员（如下所示），这些成员必须由 ctor 复制。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?
}

C++ 模板枚举复制构造函数

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 在评论中指出的那样，严格来说，当它将一种类型转换为另一种类型时，它是一个转换构造函数。类型的复制构造函数接受 s。TT

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

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);

现场演示

@TedLyngmo 不知何故，我被我的第一印象所愚弄，我想相信有些事情会永远改变。现在我设法改变了，感觉像是一个很大的解脱。有点奇怪的是，我必须安装一个浏览器插件才能毫无痛苦地阅读，但如果是这样，那么它就是这样。有些东西我们可以改变（字体），有些我们不能;)

上一个：如何使模板重载复制构造函数？

下一个：为什么删除 templete copy 构造函数会导致赋值运算符失灵？

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

C++ : Copy-constructing from different instantiation

评论

评论