Scala 컴파일러가 Object 대신 Array [Char]로 값 null의 인수를 유추하는 것을 선호하는 이유는 무엇입니까?

Question

는 java.lang.String

/** 
* Returns the string representation of the <code>Object</code> argument. 
* 
* @param obj an <code>Object</code>. 
* @return if the argument is <code>null</code>, then a string equal to 
*   <code>"null"</code>; otherwise, the value of 
*   <code>obj.toString()</code> is returned. 
* @see  java.lang.Object#toString() 
*/ 
public static String valueOf(Object obj) { 
    return (obj == null) ? "null" : obj.toString(); 
} 

/** 
* Returns the string representation of the <code>char</code> array 
* argument. The contents of the character array are copied; subsequent 
* modification of the character array does not affect the newly 
* created string. 
* 
* @param data a <code>char</code> array. 
* @return a newly allocated string representing the same sequence of 
*   characters contained in the character array argument. 
*/ 
public static String valueOf(char data[]) { 
    return new String(data); 
} 

에서 이러한 방법을 고려하고

String.valueOf(null) 
java.lang.NullPointerException 
    at java.lang.String.<init>(String.java:193) 
    at java.lang.String.valueOf(String.java:2852) 

당신이 Array[Char] 이외의 다른 유형 null 주석을 경우 작동 결과이 스칼라 코드

val result = String.valueOf(null) 

.

왜 스칼라 컴파일러는 Array 효과적으로 최종 재정의 할 수없고, (그래서이 사용 의도가있는 가능성은 매우 작다)의 요소 형 불변임을 고려 Object-Array[Char]을 선호하는 것입니까?

Answer 1

Array[Char]은보다 구체적이기 때문에 Object보다 선호됩니다. 무언가가 X 또는 Y 유형으로 변환 될 수 있고 X 에서 Y로 변환되는 경우 X는 Y보다 구체적입니다. 그리고 과부하 일 때 X가 Y보다 효과적으로 선호됩니다.

적어도 스칼라는 과부하 해결 측면에서 자바와 같다고 생각합니다.

null 참조를 Object으로 캐스트하면 과부하가 적용될 수 없으므로 Array[Char]은 적용 할 수 없습니다.

편집 : 좋아, Scala language specification간단히보다 복잡하지만, 기본 전제가 동일하다고 생각합니다. 모든 피투성이 세부 정보는 이전 링크의 p97을 참조하십시오.