7
我們確實擁有靜態分支和特徵以及合約編程功能。由於交付正確信息的主張功能,合同非常好。靜態檢查不會給編譯代碼帶來任何開銷。所以很自然地,在編譯時提供給出正確的錯誤消息的功能會非常有幫助。例如,當我試圖用我的函數得到一個向量和一個差分1-形式的交叉乘積時,我可以用斷言來具體地告訴他關於這個問題的問題,而不是關於編譯器如何看待它的問題在結構和陣列方面。或者我可以靜態縮小函數參數類型,但用戶將不得不處理編譯器消息,而不是我的。D中是否有靜態打印?
所以,問題是:有沒有辦法在編譯時打印自定義消息?