探索C++17的语法糖：scelta库介绍

任铃冰Flourishing

于 2024-09-10 08:23:53 发布

阅读量405

点赞数 5

本文链接：https://blog.csdn.net/gitblog_00529/article/details/142077942

版权

探索C++17的语法糖：scelta库介绍

scelta(experimental) Syntactic sugar for variant and optional types.项目地址:https://gitcode.com/gh_mirrors/sc/scelta

项目介绍

在C++17中，std::variant和std::optional被引入标准库，它们作为和类型（sum types），极大地提升了代码的类型安全和性能。然而，这些标准库组件在某些操作上（如访问）的语法并不十分友好，且定义和使用递归的variant或optional类型时需要大量的样板代码。为了解决这些问题，scelta库应运而生。

scelta是一个C++17库，旨在为variant和optional提供零开销的语法糖。它不仅自动检测并统一了多种variant和optional实现，还提供了类似模式匹配的语法，简化了访问和递归访问的操作。此外，scelta还支持递归数据结构的定义和访问，并提供了optional类型的单子操作（monadic operations），如map和and_then。

项目技术分析

实现独立性

scelta库能够自动检测并兼容多种variant和optional实现，包括：

std::variant
boost::variant
mpark::variant
eggs::variant
type_safe::variant
std::optional
boost::optional
type_safe::optional
tl::optional

这种实现独立性使得开发者可以在不同的项目中无缝切换使用不同的variant和optional实现，而无需担心兼容性问题。

柯里化访问语法

scelta提供了柯里化、constexpr友好的访问工具，语法类似于模式匹配。这种语法不仅适用于非递归访问，还支持递归数据结构的访问。例如：

using shape = std::variant<circle, box>;

shape s0{circle{/*...*/}};
shape s1{box{/*...*/}};

scelta::match([](circle, circle){ /* ... */ },
              [](circle, box)   { /* ... */ },
              [](box,    circle){ /* ... */ },
              [](box,    box)   { /* ... */ })(s0, s1);

递归ADT的创建与访问

scelta通过占位符（placeholders）简化了递归variant和optional数据结构的定义。例如：

using int_tree = scelta::recursive::type<std::variant<int, std::vector<scelta::recursive::placeholder>>>;

此外，scelta还提供了两种递归访问的方式，分别是同质匹配（homogeneous match）和递归匹配（recursive match）。

单子操作

scelta为optional类型提供了多种单子操作，如map和and_then，并支持中缀语法。例如：

optional<image_view> get_cute_cat(image_view img)
{
    using namespace scelta::infix;
    return crop_to_cat(img)
         | and_then(add_bow_tie)
         | and_then(make_eyes_sparkle)
         | map(make_smaller)
         | map(add_rainbow);
}