是否可以在允许显式转换的同时弃用隐式转换？

Question

假设我有一个简单的Duration 类：

class Duration
{
    int seconds;
public:
    Duration(int t_seconds) : seconds(t_seconds) { }
};

int main()
{
    Duration t(30);
    t = 60;
}

我决定我不喜欢从int 隐式转换为Duration。我可以让构造函数explicit：

class Duration
{
    int seconds;
public:
    explicit Duration(int t_seconds) : seconds(t_seconds) { }
};

int main()
{
    Duration t(30); // This is fine, conversion is explicit
    t = 60; // Doesn't compile: implicit conversion no longer present for operator=
}

但是如果我不想立即中断所有隐式转换为Duration 的调用代码怎么办？我想要的是这样的：

class Duration
{
    int seconds;
public:
    [[deprecated]]
    Duration(int t_seconds) : seconds(t_seconds) { }

    explicit Duration(int t_seconds) : seconds(t_seconds) { }
};

int main()
{
    Duration t(30); // Compiles, no warnings, uses explicit constructor
    t = 60; // Compiles but emits a deprecation warning because it uses implicit conversion
}

这将允许在识别当前依赖隐式转换的任何地方的同时编译现有代码，因此可以将它们重写为使用显式转换（如果它打算）或重写以具有正确的行为（如果不是）。

但是这是不可能的，因为我不能用Duration::Duration(int) 重载Duration::Duration(int)。

除了“使转换显式，接受调用代码在您编写适当的更改之前不会编译”之外，有没有办法实现类似的效果？

Answer 1

您可以将Duration(int t_seconds) 转换为可以接受int 的模板函数并将其设置为已弃用。

#include<concepts>

class Duration {
  int seconds;
public:
  template<std::same_as<int> T>
  [[deprecated("uses implicit conversion")]]
  Duration(T t_seconds) : Duration(t_seconds) { }
  
  explicit Duration(int t_seconds) : seconds(t_seconds) { }
};

如果您允许t = 0.6，只需将same_as 更改为convertible_to。

Demo.