如何表達 a 的簽名，function它必須this返回它接收（被調(diào)用）的參數(shù)（或），在打字稿中？有沒有一種編程語言可以做到這一點？*// In TypeScript (or consider it pseudo-code)class C { // EXAMPLE 1 – Not polymorphic chainable(x): this // MUST not only return some C, {} // but the same instance it was called on}// EXAMPLE 2function mutate<T>(a: T[], x): T[] // MUST return a, not a new Array{ /* So that this doesn't compile */ return Array.from(a); /* But this is OK */ return a;}function相反， a必須返回一個新實例怎么樣？// EXAMPLE 3function slice<T>(a: T[], x, y): T[] // MUST return a new Array?打字稿走2？以下會contract實現(xiàn)上述目標(biāo)嗎？contract referentiallyIdentical(f F, p P) { f(p) == p v := *p}type returnsSameIntSlice(type T, *[]int referentiallyIdentical) Tfunc main() { var mutate returnsSameIntSlice = func(a *[]int) *[]int { b := []int{2} /* Would this compile? */ return &b /* This should */ return a }} C++20？以上可以表示為 C++ 嗎concept？
2 回答
神不在的星期二
TA貢獻1963條經(jīng)驗 獲得超6個贊
你可以 - 在 Scala 中。
類的方法返回this.type：
class C {
? var x = 0?
? /** Sets `x` to new value `i`, returns the same instance. */
? def with_x(i: Int): this.type = {
? ? x = i
? ? this? ?// must be `this`, can't be arbitrary `C`
? }?
}
保證返回完全相同的數(shù)組的就地排序（這里并沒有真正排序任何東西）：
def sortInPlace[A: Ordered](arr: Array[A]): arr.type = {
? /* do fancy stuff with indices etc. */
? arr
}
如果您嘗試返回不同的數(shù)組，
def badSortInPlace(arr: Array[Int]): arr.type = Array(1, 2, 3) // won't compile
你會在編譯時得到一個錯誤：
error: type mismatch;
found? ?: Array[Int]
required: arr.type
? ? ? def badSortInPlace(arr: Array[Int]): arr.type = Array(1, 2, 3)
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?^
這稱為單例類型，并在規(guī)范中進行了解釋。
慕尼黑5688855
TA貢獻1848條經(jīng)驗 獲得超2個贊
在具有參數(shù)多態(tài)性的語言中，任何類型的函數(shù)
a → a
必須是恒等函數(shù)：因為該函數(shù)在 中是多態(tài)的a，所以它不可能知道關(guān)于 的任何信息a，特別是它不可能知道如何構(gòu)造一個a. 由于它也不采用世界值或IOmonad 或等價物，因此它無法從全局狀態(tài)、數(shù)據(jù)庫、網(wǎng)絡(luò)、存儲或終端獲取值。它也不能刪除該值，因為它必須返回一個a.
因此，它唯一能做的就是返回a傳入的內(nèi)容。
- 2 回答
- 0 關(guān)注
- 150 瀏覽
添加回答
舉報
0/150
提交
取消