[%] 러스트 std is_same_v 같은거 있나??

[익명(223.38)]

어케씀?

[ㅇㄹ(rerereq)]

https://doc.rust-lang.org/std/any/trait.Any.html#method.is

[ㅇㄹ(rerereq)]

근데 보통 이런거 필요한건 설계가 좀 잘못된 경우가 많음

[익명(14.138)]

이건 is_same_v랑 아무 상관없는 함수인데? is_same_v는 애초에 런타임 함수가 아님

[익명(14.138)]

https://en.cppreference.com/w/cpp/types/is_same

[ㅇㄹ(rerereq)]

std에 있는것중에선 제일 비슷한 역할인데..
https://rust.godbolt.org/z/-socvZ
is는 런타임에 쓰는 용도긴한데 type_id 얻는건 컴파일타임에 타입 알고있으면 다 최적화됨

[익명(14.138)]

예를들어 제네릭함수 내부에서 조건문으로 T가 뭐일땐 어떻게 하고 뭐일땐 어떻게 하고 이런 분기를 하려면 어떻게해야됨?

[ㅇㄹ(rerereq)]

그걸 함수안에서 하지말고 구현을 분리해

[ㅇㄹ(rerereq)]

타입별로 다른 동작이 필요하면 그걸 trait로 만들어서 걔네보고 구현하라고 하고 너는 그걸 갖다쓰기만 하면됨

[ㅇㄹ(rerereq)]

꼭 비슷하게 만들어 쓰고싶으면 이렇게 만들면됨 몇줄안필요함
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=8cee47a79bb78601515b7cbba4f6036b

[익명(14.138)]

이거 스테이블 아님?

[ㅇㄹ(rerereq)]

specialization은 나이틀리임

[ㅇㄹ(rerereq)]

이 함수 써보면 알겠지만 어차피 타입검사 때문에 C++처럼 짜맞추는 식으로는 못만듬

[익명(14.138)]

흠;