News for hackers. Stuff that matters.
Re:Obscure feature and obscure feature and obscure feature =... by 1718627440 on Tuesday September 23, 2025 @02:31PM (#45350992)
Why couldn't C++ use the static keyword here, which is how its done in C, so I expect its supported in C++ as well.
Re:Obscure feature and obscure feature and obscure feature =... by ahartmetz on Tuesday September 23, 2025 @03:26PM (#45351589)
I think some reason involving templates? But yeah, I just write file-static helper functions most of the time.
Re:Obscure feature and obscure feature and obscure feature =... by estimator7292 on Tuesday September 23, 2025 @05:38PM (#45353084)
You can pretty much treat a namespace as a static class. It's very, very much not a static class, but it mostly behaves like one. Unless you use static fields in a namespace and then your program blows up because that field is TU-static, not global.

Sometimes I wish I could just write C# instead.

Re:Obscure feature and obscure feature and obscure feature =... by quuxplusone on Tuesday September 23, 2025 @08:21PM (#45354605)
No, neither C nor C++ supports using `static` to add internal linkage to a struct type or type alias. (Evidence: https://godbolt.org/z/fnevfv4hr , see also cppreference.)

In C++, we need some way to give a type internal linkage so that we can have

    namespace {
      struct S { static int mv; int f(); };
    }
    int S::f() { return 1; }
    int S::mv = 1;
in one translation unit and the-same-thing-but-with-2-instead-of-1 in another translation unit. Linkage matters to `S::f` and `S::mv`, which would otherwise end up exposed to the world and cause multiply-defined-symbol errors at link time. In C, we can't have member functions or static data members, so (unless I'm missing something) there's no real physical (as opposed to philosophical) reason for a C programmer to care what linkage their types have.

If C did support internal-linkage types, I do think it would make sense to support writing simply

    static struct S { ~~~~ };
instead of C++'s weird hack with the (C++-only) `namespace` keyword.

Why did C++ decide to use unnamed namespaces instead of `static struct S { ~~~~ }`? According to Stroustrup's "The Design and Evolution of C++" ("D&E"), the original idea was to separate the two meanings of `static` — unnamed namespaces would take over all the responsibilities related to internal linkage, leaving `static` responsible only for function-local statics and static members. C++98 actually deprecated the use of `static` for internal linkage — but that deprecation was reversed (thank goodness) in C++11, and I imagine most C++ programmers are unaware that such a thing ever happened.

https://stackoverflow.com/questions/4726570/deprecation-of-t...

Re:Obscure feature and obscure feature and obscure feature =... by 1718627440 on Wednesday September 24, 2025 @03:07AM (#45357228)
In C a type doesn't produce any symbols, so it can't be affected by linkage. I was indeed talking about declaring the instantiation of the classes with static in C++.