如何解决C++:从不同的实例化复制构造
我希望能够使用不同的“颜色”实例复制构造 Particle<Color::X>
。不同的实例可能包含一组非常不同的成员,但它们都有任意数量的共同成员(下面以 intensity
为例),这些成员必须由构造函数复制。
当然,所讨论的构造函数不能接受不是 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?
}
解决方法
如果您想要一个接受其他实例化实例的复制构造函数,那么您只需要一个接受任何实例化实例的复制构造函数:
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
类型的复制构造函数接受 T
。
请注意,在您的代码中,模板参数未命名。我想这是混乱的一部分。在您的代码中,如果不使用特征,您实际上无法知道 Color
的给定实例化 Particle
是什么。即使在模板定义中,您也无法访问粒子颜色,因为它没有名称。我在上面改变了这个。但是,如果您不想仅仅为了存储 Color
的 Particle
而浪费成员,而是想从给定的实例中推导出它,您可以这样做:
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);
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。