TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Scpptool – a tool to enforce a memory and data race safe subset of C++

53 点作者 coffeeaddict19 个月前

3 条评论

comex9 个月前
Some pretty… interesting… naming conventions. One of the types is called:<p><pre><code> mse::rsv::TXSLTACSSSXSTERandomAccessIterator </code></pre> What to make of this? The readme provides this guidance:<p>&gt; The &quot;CSSSXSTE&quot; part of the typenames stands for &quot;Contiguous Sequence, Static Structure, XSLTA, Type-Erased&quot;.<p>But it nowhere defines XSLTA. With some help from ChatGPT, I can guess that &quot;XS&quot; stands for &quot;execution scope&quot; (since the readme talks a lot about execution scopes), and &quot;LTA&quot; probably stands for &quot;lifetime annotated&quot; (since one part says that &quot;rsv::TXSLTAOwnerPointer&lt;&gt; is a &#x27;lifetime annotated&#x27; version of TXScopeOwnerPointer&lt;&gt;&quot;).<p>But what about the namespaces, &quot;mse&quot; and &quot;rsv&quot;? I can find nothing to explain what those might stand for.<p>Anyway.<p>I really like the idea of this project. There are contexts where I cannot use Rust and would love to have a way equivalent safety guarantees in C++. Even at the cost of rewriting the code. And even at the cost of ugly code, because there will be some necessary ugliness when retrofitting lifetimes into C++&#x27;s existing syntax and semantics.<p>But &quot;TXSLTACSSSXSTERandomAccessIterator&quot; is <i>unnecessary</i> ugliness. There are better ways to get ideas across than acronym soup.<p>There are some other practical issues with the project, such as inconsistent licensing annotations, and the fact that it seems to depend on specific Clang versions (and thus will probably bitrot if it stops being maintained).<p>Still, it seems promising and I may use it someday.
评论 #41402923 未加载
rurban9 个月前
I just tried it out. Still needs debugging CODE, lots of IF_DEBUG code, crashes with -DNDEBUG.
评论 #41402963 未加载
评论 #41400906 未加载
cozzyd9 个月前
I don&#x27;t know why an uncapitalized makefile irks me so (even though apparently GNU make will read makefile before Makefile).
评论 #41402642 未加载