c++之如何最好地在C++中实现 “newtype”习惯用法

52php 阅读：34 2024-06-20 12:54:19 评论：0

This question already has answers here:

Strongly typed using and typedef

(4个答案)

7个月前关闭。

自从学习Rust以来，我成为了ost的粉丝，我收集了Rust借来的 newtype idiom。
新类型是基于标准类型的独特类型，可确保功能参数为正确的类型。
例如，必须传递以下 old_enough函数的年龄(以年为单位)。它不会以Days或纯i64的年龄进行编译。

struct Days(i64); 
struct Years(i64); 
 
fn old_enough(age: &Years) -> bool { 
    age.0 >= 18 
}

这与C++中的 typedef或 using声明不同，后者仅重命名类型。
例如，下面的 old_enough函数将接受 int， Days中的年龄或任何其他可转换为 int的内容:

typedef int Days; 
using Years = int; 
 
bool old_enough(Years age) { 
    return age >= 18; 
}

由于上面的示例仅使用整数，因此Reddit上的 from Haskell帖子建议使用枚举类，例如:

enum class Days : int {}; 
enum class Years : int {}; 
 
bool old_enough(Years age) { 
    return static_cast<int>(age) >= 18; 
}

或者它可以简单地使用诸如Rust之类的结构，例如:

struct Days final {int value;}; 
struct Years final {int value;}; 
 
bool old_enough(Years age) { 
    return age.value >= 18; 
}

在 newtype中实现 C++习惯用法的最佳方法是什么？
有没有标准的方法？
编辑，问题 this与此类似。但是，它不考虑 newtype习惯用法。

请您参考如下方法:

如果您拥有boost，那么BOOST_STRONG_TYPEDEF会按照this answer中所显示的那样完全满足您的要求。

在c++语言中(尚无)可以直接实现所需的任何功能。但是话又说回来，详细需求可能会有所不同，例如。有人可能会说可以做一个隐式构造，而另一个人可能会说它必须是显式的。由于上述原因和其他组合1，很难提供一种满足所有人的机制，而且我们已经有了普通的类型别名(即using，它的类型不同于强类型定义)。
就是说，c++为您提供了足够的工具，您可以自己构建此通用工具，如果您对templates等有一定的经验，并不是很难做到的。
最后，这取决于您实际遇到的新类型问题，例如。您是否只需要一小撮？或者要批量制作？对于诸如Years and Days之类的普通对象，您可以使用裸结构:

struct Days {int value;}; 
 
struct Years {int value;};

但是，如果必须避免这样的情况:

bool isold(Years y); 
 
... 
 
isold({5});

然后，您必须创建一个构造函数并使之显式，即:

struct Years { 
   explicit Years(int i); 
...

1例如，另一种组合可能是是否应允许新类型转换为基础类型，对于诸如 int之类的东西可能有用，或者根据上下文可能很危险

关于c++ - 如何最好地在C++中实现 “newtype”习惯用法？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/62590196/

上一篇：symfony - Sensio Framework Extra Bundle 问题

下一篇：vba - 如何调用从 VBScript 返回对象数组的方法(COM 对象的)

相关文章：

haskell - 为什么这个新类型没有被赋予正确的 Read 实例？

haskell - Flip 数据类型的仿函数类型变量

c++ - 如何将带有缓冲区的对象从插件发送到 Node 线程安全？

c++ - 什么是内部状态？

c++ - QT 线程:获取 QObject::startTimer:定时器不能从另一个线程警告启动

在 C++ 应用程序后面运行的 C++ 计时器

haskell - 在 `newtype` 参数中指定元组

haskell - 理解状态单子(monad)

c++ - 将源代码添加到elf文件

标签:C++

声明

1.本站遵循行业规范，任何转载的稿件都会明确标注作者和来源；2.本站的原创文章，请转载时务必注明文章作者和来源，不尊重原创的行为我们将追究责任；3.作者投稿可能会经我们编辑修改或补充。