Жпт порекомендовал вариант как кастить obj к типо параметру -- let inline

Question

Жпт порекомендовал вариант как кастить obj к типо параметру -- let inline

cast<'T> (x : obj) : 'T =
(^T : (static member op_Unbox : obj -> 'T) x)

// Example usage
let intValue = cast<int> (box 42.0)
--

Что за static member op_Unbox ?
Это рабочий вариант?

#fsharp #programming #russian

0

12.07.2023

10 ответов

31 просмотр

Pavel S Автор вопроса

Vlæd Zá
let inline retype<'T,'U> (x:'T) : 'U = (# "" x : '...

Черная магия)

0

12.07.2023

dd

Vlæd Zá
let inline retype<'T,'U> (x:'T) : 'U = (# "" x : '...

а что означает (# "" x : 'U #)?

0

12.07.2023

Ilya L

dd
а что означает (# "" x : 'U #)?

https://t.me/fsharp_chat/33072

0

12.07.2023

Vlæd Zá

Pavel S
Черная магия)

В целом, обычный эмит ил, но выстрелить в ногу очень просто, оно unverifiable.

0

12.07.2023

Ilya

ну да, так оно бывает, с аналоговыми компиляторами:)

0

12.07.2023

Vlæd Zá

Ilya
ну да, так оно бывает, с аналоговыми компиляторами...

У нас недавно во внутреннюю тулзу фидбек пришёл, где кто-то делал что-то странное с эмитом ил. И оно взрывалось при определённых размерах данных. Закрыли как неподдерживаемый кейс.

0

12.07.2023

👽

Vlæd Zá
let inline retype<'T,'U> (x:'T) : 'U = (# "" x : '...