技術標籤：筆記

@不丟,使忽略返回值為編譯錯誤.作為不能用異常時的補充.避免與通過用返回值報告錯誤的外部函式對接時的漏洞.
原理:
目前,被調向呼叫者傳送不能忽略訊號,只能靠異常,但有時不想/不能用異常.如:用c/c++寫程式碼,其他語言呼叫d,不想依賴d執行時,不想用異常(太貴了).不丟提供編譯時保護,由於所有函式都有返回型別,所以可與任意函式一起使用.
可能的副作用函式:獲取資源的malloc/mmap函式,生成隨機數的rand/uniform,引數不同,可能有副作用的filter/map.他們的副作用都在於其具體實現.
其他語言:c++的[[不丟]],rust的#[必須用],…
@不丟導致的錯誤,可用cast(void)

//未註解型別
struct Result { int n; }
// @nodiscard函式
@nodiscard Result func() { return Result(0); }

void main()
{
    import std.
 
stdio: writeln;
    //逗號表示式使用了不丟函式返回值
    (writeln("side effect"), func());
}
//而另一個是檢查型別,
// @nodiscard型別
@nodiscard struct Result { int n; }

//未註解不丟的函式 
Result func() { return Result(0); }

void main()
{
    import std.stdio: writeln;

    //錯誤,函式返回型別也是逗號表示式型別.
    (writeln("side effect"
 
), func());
}

兩種不同檢查.如上,都可用cast(void)來去掉.