4
-opaque과 -type의 차이점은 무엇입니까? 두 모듈 모두 erlang 코어 모듈에서 봤지만 그 차이를 느낄 수는 없습니다. 두 가지 모두에 -export_type을 사용할 수 있습니까?유형과 불투명 한 지시문의 일치 범위
A
답변
7
%% module1.erl
-export_type([my_tup1/0, my_tup2/0]).
-type my_tup1() :: {any(), any()}.
-opaque my_tup2() :: {any(), any()}.
%% module2.erl
-spec foo1(module1:my_tup1()) -> ok.
foo1({_, _}) -> ok. %% fine
-spec foo2(module1:my_tup2()) -> ok.
foo2({_, _}) -> ok.
%% Dialyzer warning, because you are looking at
%% the internal structure of a my_tup2() term.
%% If you defined the same function in the module module1, it wouldn't give a warning.
foo2(_) -> ok. %% no warning again.
네, 모두 내보낼 수 있으며 내보내기하지 않으면 차이가 없습니다.
관련 문제
- 1. Java - 불투명 한 색상
- 2. 로그의 라인 일치 범위
- 3. 예상 유형과 일치 할 수 없습니다 - Haskell
- 4. iphone 불투명 한 배경 로고?
- 5. 투명한 배경, 불투명 한 요소
- 6. 표시 숨기기 불투명 한 div
- 7. 불투명 한 테두리가있는 반투명 배경색
- 8. 연기 불투명 한 배경 애니메이션
- 9. 이미지의 불투명 한 부분 매핑
- 10. 불투명 한 텍스트가있는 투명한 배경
- 11. Acceleo에서 불투명 한 동작 확인
- 12. 불투명 한 필드 란 무엇입니까?
- 13. sed 멀티 라인 범위 일치
- 14. 없음 경로 일치 범위 자원
- 15. asp.net 지시문의 VaryByParam
- 16. 불투명 한 코드를 어떻게 단위화할 것인가?
- 17. 투명 상자를 통한 불투명 한 텍스트
- 18. IE8 : 반투명 배경색이지만 불투명 한 배경 이미지
- 19. PNG 파일의 불투명 한 말단을 내보내는 스크립트
- 20. XNA : 불투명 한 픽셀에만 SpriteBatch.Draw (...) 색상 적용
- 21. PImpl 대신 불투명 한 참조. 가능한가?
- 22. .NET의 불투명 한 클릭 연결 양식
- 23. 마우스 이벤트를 자바의 불투명 한 패널로 전달
- 24. 텍스처의 불투명 한 부분 주위에 윤곽선 그리기
- 25. 불투명 한 픽셀에 대한 히트 감지
- 26. 불투명 한 요소에 마우스 이벤트 전파
- 27. Raphael : 불투명 한 점들을 앞에 가져 오십시오.
- 28. 그룹 내 불투명 한 데이터 세트 만들기
- 29. CSS로 이미지가있는 투명 또는 불투명 한 배경
- 30. wxWidgets 불투명 한 컨트롤이있는 투명한 프레임
실제로 형식을 내 보내지 않으면 불투명으로 선언 할 때 의미가 없습니다. – aronisstav
@aronisstav 그건 내가 말한 것 : 당신이 그것을 수출하지 않으면, 그들은 동일합니다. –
'-type' 선언은 여러분이 export하지 않았을 때 여전히 유용합니다. ''불투명 '은 전혀 의미가 없습니다. – aronisstav