사용하지 않는 매개 변수가있는 엘릭시어 함수의 사양은 어떻게 정의합니까?

Question

@spec another(String.t, String.t) :: String.t 
def another(_para1, _para2) do 
    IO.puts "this is a test" 
end 

매개 변수가 함수 본문에 사용되지 않더라도이 방식으로 함수의 매개 변수 형식을 정의 할 수 있습니까?

Answer 1

네, 할 수 있으며 구문 상 유효합니다. @spec 속성은 예상 된 모든 입출력을 한 곳에서 수집해야합니다. 이 경우 dialyzer (그리고 암시 적으로 코드의 독자)에게이 함수는 문자열 만 받아 들일 것이라고 말합니다.

질문을 원하십니까? 이러한 매개 변수가 필요하지 않은 이유는 무엇입니까? 마지막 절인 경우 해당 함수에 대한 다른 정의가 있고 문자열 만 허용하기 때문에 모든 것이 정상이므로 @spec이 유효합니다.