我希望能够使用不同的"颜色"实例复制构造Particle<Color::X>
。不同的实例化可能包含一组非常不同的成员,但它们都有任意数量的共同成员(下面由intensity
例证),必须由 ctor 复制。
当然,有问题的 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?
}
如果你想要一个接受其他实例实例的复制构造函数,那么你只需要一个接受任何实例化的复制构造函数:
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
s。
请注意,在代码中,模板参数未命名。我想这是混乱的一部分。在你的代码中,你实际上无法知道Particle
的给定实例化在不使用特征的情况下Color
是什么。即使在模板定义中,您也无法访问粒子颜色,因为它没有名称。我在上面更改了这个。虽然如果你不想浪费一个成员只是为了存储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);
现场演示