Value types *can* still be constructed in an invalid state

[Saalvage]

Even following #1783, the following value type:

CS_VALUE_TYPE class DLL_API ValueType {
public:
    std::string string_member;
};

can be constructed in an invalid state, e.g. by using ValueType v = default;

Following v.string_member = "..."; resulting reads will result in garbage being read.

A remedy could be a variable to track whether the object was initialized and if not initializing it whenever any operation is called on it.

[tritao]

Is there no way to prevent default initialization?

Bloating the code for something the compiler could be doing seems annoying.

[Saalvage]

I'm fairly certain there is not. C# structs being zero-initialized in a number of cases seems deeply ingrained in the language. I also think this is a bad design choice.