Change Log: 2.104.0

C code normally relies on #include <assert.h> to add support for assert's. D has them builtin to the language, which is much more convenient and does not rely on a preprocessor. This extension adds

__check(assign-expression)

as an expression to ImportC. The compiler switch -checkaction=C gives it the same behavior as C's assert macro. If the compiler switch -release is thrown, the __check's are ignored. The __check expressions are handy for writing C programs that are free of reliance on #include.

__assert is not used due to conflicts with some C .h files.

Using alias this for classes has not been clearly specified and the lookup rules in such circumstances are not defined. As a consequence, various failures or crashes may appear when alias this is used in conjunction with classes. Starting with this release, alias this for classes is being deprecated. As an alternative, getter/setter methods may be used to replace the alias this. This can be generically handled by:

static foreach(member, __traits(allMembers, LeClass))
    mixin("ref auto " ~ member() { return $field_name." ~ member ~ "; }");

Deprecation warnings for DIP25 violations have been enabled since 2.092. Starting with this release, it will report errors, unless the -revert=dip25 switch is used. Using the switch (or its short version -dip25) is now deprecated.

ref int escapeRef(ref int x) {return x;}

// Formerly:
// Deprecation: returning `x` escapes a reference to parameter `x`
//        perhaps annotate the parameter with `return`
//
// Now it is an error, unless `-revert=dip25` is used

In order to make it dllimport, use:

export extern int a;

Up until this release, D had both traits(isVirtualFunction) and traits(isVirtualMethod) (and their coressponding traits(get...) counterpart). The differenrcte between the two is that isVirtualFunction returns true for final methods that do not override anything. This is in contradiction with the D spec which states that final functions that do not override other functions cannot be virtual. isVirtualMethod correctly returns false in that case.

Starting with this release, both traits(isVirtualFunction) and traits(getVirtualFunctions) are deprecated. If the behavior of traits(isVirtualFunction) is desired, it can be achieved by traits(isVirtualMethod, f) || (traits(isFinalFunction, f) && !traits(isOverrideFunction, f)).

Up until now graphemeStride, byGrapheme and decodeGrapheme functions in std.uni have used obsolete rules from earlier Unicode standards.

This release brings grapheme breaking rules up to date with Unicode version 15. This means Phobos functions now recognise extended pictogram sequences and prepend characters.

Up until now filter used a template constraint to check if the passed Data could be used. If it were not, it was very tedious to figure out why.

As the template constraint is not used to overload the symbol template function, the constrains are move into static asserts with expressive error messages.

Up until now sort used a template constraint to check if the passed Range could be used. If it were not, it was very tedious to figure out why.

As the template constraint is not used to overload the symbol template function, the constrains are move into static asserts with expressive error messages.