Most active commenters
  • motorest(3)

←back to thread

48 points zigrazor | 22 comments | | HN request time: 1.882s | source | bottom

Hi HN!

I've built [CXXStateTree](https://github.com/ZigRazor/CXXStateTree), a modern C++ header-only library to create hierarchical state machines with clean, intuitive APIs.

It supports: - Deeply nested states - Entry/exit handlers - State transitions with guards and actions - Asynchronous transitions with `co_await` (C++20 coroutines) - Optional runtime type identification for flexibility

It's ideal for complex control logic, embedded systems, games, robotics, and anywhere you'd use a finite state machine.

I’d love feedback, use cases, or contributions from the community!

Repo: https://github.com/ZigRazor/CXXStateTree

1. dgan ◴[] No.44523973[source]
i am by no means a C++ expert, but isn't "pragma once" frowned upon?
replies(5): >>44524039 #>>44526928 #>>44526935 #>>44528279 #>>44529097 #
2. kookamamie ◴[] No.44524039[source]
No, it is the way. Edit: no one has time for inventing unique names for include guards.
replies(2): >>44524438 #>>44524781 #
3. hdhdjd ◴[] No.44524438[source]
Does anyone write those by hand anyway in any kind of project the size where it would matter?

#pragma once is broken by design

replies(3): >>44524590 #>>44524788 #>>44526846 #
4. bogwog ◴[] No.44524590{3}[source]
I don't understand what you're saying here. #pragma once does the job that include guards used to do, but with less work, and in a less error prone way. How is it broken, and how is the size of a project relevant?
replies(1): >>44524820 #
5. motorest ◴[] No.44524781[source]
> No, it is the way.

No, this is completely wrong. Pragma once is non-standard compiler directive. It might be supported by some compilers such as msvc but technically it is not even C++.

There are only two options: include guards, and modules.

replies(2): >>44524794 #>>44524905 #
6. quietbritishjim ◴[] No.44524788{3}[source]
> Does anyone write those by hand anyway in any kind of project the size where it would matter?

I think you're suggesting that you don't need to make up the names for include guards because all tools / IDEs for C++ write them for you automatically anyway. But that isn't my experience. Many IDEs don't write include guards for you automatically ... because everybody uses #pragma once already.

> #pragma once is broken by design

I think you're referring to the historical problem with #pragma once, which is that it can be hard for the compiler to identify what is really the same file (and therefore shouldn't be included a second time). If you hard link to the same file, or soft link to it, is it the same? What if the same file is mapped to two different mount points? What if genuinely different files have the same contents (e.g., because the same library is included from two different installation paths)? In practice, soft/hard links to the same file are easily detectable, and anything more obscure indicates such a weird problem with your setup that you surely have bigger issues. #pragma once is fine.

(Historically, it also had the benefit that compilers would know not to even re-read the header, whereas with traditional include guards they would need to re-include the file (e.g. in case the whole file is not wrapped in the #ifdef, or in case something else has undefined it since) only to then discard the contents. I've even seen coding guidelines requiring external include guards wrapped around every use of headers with #include <...>. Yuck! But modern compilers can work out when include guards are meant to mean that so today that difference probably no longer exists.)

7. quietbritishjim ◴[] No.44524794{3}[source]
What major compiler does not support it?
replies(1): >>44524934 #
8. motorest ◴[] No.44524820{4}[source]
> I don't understand what you're saying here. #pragma once does the job that include guards used to do, (...)

They don't. They are not C++ and at most they are compiler-specific.

It's fine if you opt to not write C++ and instead target specific compilers instead. Just don't pretend it's not frowned upon or kosher.

replies(2): >>44524966 #>>44526854 #
9. spacechild1 ◴[] No.44524905{3}[source]
Yes, it is non-standard, but I don't know any compiler that does not support it.
10. motorest ◴[] No.44524934{4}[source]
> What major compiler does not support it?

The whole point is that it's not supported and it's not standard, thus using #pragma once needlessly introduced the risk of having the code break.

You should ask yourself what are you doing and why are you using non-standard constructs that may or may not work, specially when it's rather obvious and trivial to just use include guards. Using #pragma once isn't even qualify as being clever to gain anything.

replies(3): >>44525100 #>>44525869 #>>44527946 #
11. bogwog ◴[] No.44524966{5}[source]
TIL about the existence of a passionate #pragma once hating subculture.

Since you seem to be more knowledgeble about this, I'm curious to know which C++ compilers lack support? I know that at least the 3 big ones do (GCC, Clang, and MSVC) and they have for a very long time.

12. phkahler ◴[] No.44525100{5}[source]
Maybe you should ask why you're using a non-standard compiler if it's not supported.

Not being part of the official standard doesn't necessarily mean it's not well supported.

13. AndriyKunitsyn ◴[] No.44525869{5}[source]
The whole point of C/C++ is knowing your environment. It's not Java, it's not TypeScript. It's one level above assembly, and if you change the compiler and things break, then it's your fault.

If the standards still don't have a proper replacement for include guards, then too bad for the standards. The C++ standard wasn't aware of multithreading before C++11, this didn't stop people from writing multithreaded programs.

As to why - #pragma once is just cleaner to look at.

replies(1): >>44527061 #
14. jcelerier ◴[] No.44526846{3}[source]
Even if you don't write header guards by hand you get issues. The amount of time I got bitten by someone naming a file "widget.h" or "utils.hpp" three levels of libraries down with the corresponding #ifndef WIDGET_H which broke the build in incredibly mysterious ways...

https://github.com/search?q=ifndef+WIDGET_H&type=code

replies(1): >>44529468 #
15. jcelerier ◴[] No.44526854{5}[source]
it's absolutely not frowned upon in 2025. All the compilers that matter (GCC, Clang and MSVC) support and have supported them for two decades. Major projects use #pragma once internally - I see files using it in Qt, LLVM, etc.
16. alt187 ◴[] No.44526928[source]
All terrestrial compilers support `#pragma once`.

In the C++ community (as lots of other things are), rejecting `#pragma once` is a long-standing tradition of worshipping the decaying body of prehistoric compilers for

It's unclear what benefits this approach has achieved, but don't disturb it, or else.

17. sam_bishop ◴[] No.44526935[source]
I've avoided #pragma once because of reports that it slows down gcc/g++: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58770

But given that I haven't seen any mention of that issue in other comments, I wonder if it really is an issue.

18. gpderetta ◴[] No.44527061{6}[source]
> the standards still don't have a proper replacement for include guard

It does with modules... and in ten year if modules support is widespread, I'll consider stoping using pragma once.

19. AlotOfReading ◴[] No.44527946{5}[source]
Lots of things in C/C++ are nonstandard or optional, like the existence of optimization flags. Nevertheless, it's supported by literally every compiler I can think of for at least the last decade. I had to get into weird interpreters written in Python for university projects before I found anything that didn't support it.

Plus, it's nicer to read than #ifndef FOO_BAR_BAZ_PROJ_DIR1_DIR2_DIR3_FILE_H

#endif /* FOO_BAR_BAZ_PROJ_DIR1_DIR2_DIR3_FILE_H */

On every file.

20. benreesman ◴[] No.44528279[source]
You'll see a fairly even split amongst S-tier, "possibly headed for standardization" level libraries. I'd say there's a skew for `#ifndef` in projects that are more "aspires to the standard library" and for `#pragma once` in projects that are more focused on like a very specific vertical.

`#pragma once` seems to be far preferred for internal code, there's an argument for being strictly conforming if you're putting out a library. I've converted stuff to `#ifndef` before sharing it, but I think heavy C++ people usually type `#pragma once` in the privacy of their own little repository.

- `spdlog`: `#pragma once` https://github.com/gabime/spdlog/blob/v1.x/include/spdlog/as...

- `absl`: `#ifndef` https://github.com/abseil/abseil-cpp/blob/master/absl/base/a...

- `zpp_bits`: `#ifndef` https://github.com/eyalz800/zpp_bits/blob/main/zpp_bits.h

- `stringzilla` `#ifndef` https://github.com/ashvardanian/StringZilla/blob/main/includ...

21. zigrazor ◴[] No.44529097[source]
please someone open an Issue on the repo(https://github.com/ZigRazor/CXXStateTree/issues), to substitute the #pragma once with the more classic include guards with the motivation explained in the comment. Thank you
22. tom_ ◴[] No.44529468{4}[source]
I use a guid. (A different one each time, of course.)