동적으로 유형이 지정된 언어로 단일 함수에서 다른 데이터 유형을 반환하는 것은 나쁜 생각입니까?

기본 언어는 정적으로 입력됩니다 (자바). Java에서는 모든 메소드에서 단일 유형을 리턴해야합니다. 예를 들어 조건부로 a를 반환 String하거나 조건부로 a를 반환하는 메서드를 사용할 수 없습니다 Integer. 그러나 예를 들어 JavaScript에서는 이것이 가능합니다.

정적으로 입력 된 언어로 이것이 왜 나쁜 생각인지 알 수 있습니다. 모든 메소드가 반환되면 Object(모든 클래스가 상속하는 공통 부모) 당신과 컴파일러는 당신이 다루고있는 것을 모릅니다. 런타임시 모든 실수를 발견해야합니다.

그러나 동적으로 유형이 지정된 언어에는 컴파일러가 없을 수도 있습니다. 동적으로 유형이 지정된 언어에서 여러 유형을 반환하는 함수가 나쁜 생각 인 이유는 분명하지 않습니다. 정적 언어에 대한 나의 배경은 그러한 함수를 작성하는 것을 피하게하지만, 내가 볼 수없는 방식으로 코드를 깨끗하게 만들 수있는 기능에 대해 염려하고 있습니다.

편집 : 예를 제거하려고합니다 (더 나은 것을 생각할 수있을 때까지). 나는 내가 만들려고하지 않은 지점에 대답하는 것이 사람들을 조종하고 있다고 생각합니다.

다른 답변과 달리 다른 유형의 반환이 허용되는 경우가 있습니다.

실시 예 1

sum(2, 3) → int
sum(2.1, 3.7) → float

정적으로 유형이 지정된 일부 언어에는 과부하가 포함되므로 미리 정의 된 고정 유형을 반환하는 여러 가지 방법이 있다고 생각할 수 있습니다. 동적 언어에서 이는 다음과 같이 구현 된 동일한 기능 일 수 있습니다.

var sum = function (a, b) {
    return a + b;
};

동일한 함수, 다른 유형의 반환 값.

실시 예 2

OpenID / OAuth 컴포넌트로부터 응답을받는다고 상상해보십시오. 일부 OpenID / OAuth 제공자는 개인의 나이와 같은 추가 정보를 포함 할 수 있습니다.

var user = authProvider.findCurrent();
// user is now:
// {
//     provider: 'Facebook',
//     name: {
//         firstName: 'Hello',
//         secondName: 'World',
//     },
//     email: 'hello.world@example.com',
//     age: 27
// }

다른 사람들은 최소한 이메일 주소 나 가명 일 것입니다.

var user = authProvider.findCurrent();
// user is now:
// {
//     provider: 'Google',
//     email: 'hello.world@example.com'
// }

다시, 동일한 기능, 다른 결과.

여기서 다른 유형을 반환하는 이점은 유형과 인터페이스를 신경 쓰지 않고 실제로 객체에 포함되는 상황에서 특히 중요합니다. 예를 들어, 웹 사이트에 성숙한 언어가 포함되어 있다고 가정 해 봅시다. 그러면 다음 findCurrent()과 같이 사용될 수 있습니다.

var user = authProvider.findCurrent();
if (user.age || 0 >= 16) {
    // The person can stand mature language.
    allowShowingContent();
} else if (user.age) {
    // OpenID/OAuth gave the age, but the person appears too young to see the content.
    showParentalAdvisoryRequestedMessage();
} else {
    // OpenID/OAuth won't tell the age of the person. Ask the user himself.
    askForAge();
}

모든 공급자가 자체 정의 된 기능을 가지고있는 잘 정의 된 고정 유형을 리턴하는 코드로 이것을 리팩토링하면 코드베이스가 저하되고 코드 복제가 발생할뿐만 아니라 어떠한 이점도 얻지 못할 것입니다. 다음과 같은 공포가 생길 수도 있습니다.

var age;
if (['Facebook', 'Yahoo', 'Blogger', 'LiveJournal'].contains(user.provider)) {
    age = user.age;
}

일반적으로 정적 인 형식의 언어에서 도덕적으로 동등한 것은 나쁜 생각과 같은 이유로 나쁜 생각입니다. 어떤 구체적인 유형이 반환되는지 모릅니다. 어떤 가치로도 할 수있는 일). 정적 유형 시스템에서는 반환 유형에 대한 컴파일러 검사 주석이 있지만 동적 언어에는 동일한 지식이 여전히 존재합니다. 이는 비공식적이며 소스 코드가 아닌 두뇌 및 문서에 저장됩니다.

그러나 많은 경우 유형이 반환되는 운율과 이유가 있으며 그 효과는 정적 유형 시스템의 과부하 또는 파라 메트릭 다형성과 유사합니다. 다시 말해, 결과 유형 은 예측 가능하지만 표현하기가 쉽지 않습니다.

그러나 특정 함수가 제대로 설계되지 않은 다른 이유가있을 수 있습니다. 예를 들어, sum유효하지 않은 입력에서 false를 반환 하는 함수는 반환 값이 쓸모없고 오류가 발생하기 쉬운 (0 <-> 잘못된 혼동) 기본적으로 나쁜 생각입니다.

동적 언어에서는 반환 여부를 물어 안 다른 유형 하지만 다른 API를 사용하여 객체 . 대부분의 동적 언어는 실제로 유형에 신경 쓰지 않지만 다양한 버전의 오리 입력을 사용 합니다.

다른 유형을 반환 할 때 의미가 있습니다.

예를 들어이 방법은 의미가 있습니다.

def load_file(file): 
    if something: 
       return ['a ', 'list', 'of', 'strings'] 
    return open(file, 'r')

파일과 문자열 목록은 모두 파이썬에서 문자열을 반환하는 반복 가능하기 때문에. 매우 다른 유형, 동일한 API (누군가가 목록에서 파일 메소드를 호출하려고하지 않는 한, 이것은 다른 이야기입니다).

조건부로 반환 list하거나 tuple( tuple파이썬에서는 불변 목록입니다).

공식적으로도 :

def do_something():
    if ...: 
        return None
    return something_else

또는:

function do_something(){
   if (...) return null; 
   return sth;
}

파이썬 None과 자바 스크립트 null는 모두 자체적 으로 유형이므로 다른 유형을 반환합니다 .

이 모든 유스 케이스는 정적 언어로 대응되며 함수는 적절한 인터페이스를 리턴합니다.

조건부로 다른 API를 가진 객체를 반환하는 것이 좋습니다

다른 API를 반환하는 것이 좋은 아이디어인지에 대해 대부분의 경우 IMO는 의미가 없습니다. 현명한 예는 @MainMa가 말한 것과 비슷 합니다. API가 다양한 세부 정보를 제공 할 수있을 때 사용 가능한 경우 더 자세한 정보를 반환하는 것이 좋습니다.

당신의 질문은 내가 조금 울고 싶어합니다. 귀하가 제공 한 사용 예가 아니라 누군가가 무의식적으로이 접근 방식을 취하기 때문입니다. 엄청나게 유지 보수 할 수없는 코드에서 짧은 단계입니다.

오류 조건 유스 케이스 종류는 의미 가 있으며 정적으로 유형이 지정된 언어 의 null 패턴 (모든 패턴 이되어야 함)은 동일한 유형의 작업을 수행합니다. 함수 호출은 object또는을 반환합니다 null.

하지만 "나는 만들려면이를 사용하는거야 말에 짧은 단계의 공장 패턴을 반환"중 하나 foo또는 bar또는 baz함수의 기분에 따라. 이것을 디버깅하는 것은 호출자가 기대 foo하지만 받을 때 악몽이 될 것 bar입니다.

그래서 나는 당신이 마음을 닫고 있다고 생각하지 않습니다. 언어 기능을 사용하는 방법에 대해 신중한주의를 기울이고 있습니다.

공개 : 저의 배경은 정적으로 입력 된 언어로되어 있으며, 일반적으로 유지 관리 가능한 코드가 필요한 대규모의 다양한 팀에서 근무했습니다. 내 관점도 왜곡 될 수 있습니다.

Java에서 Generics를 사용하면 정적 유형 안전을 유지하면서 다른 유형을 리턴 할 수 있습니다. 함수 호출의 일반 유형 매개 변수에 리턴하려는 유형을 지정하기 만하면됩니다.

Javascript에서 비슷한 접근 방식을 사용할 수 있는지 여부는 명백한 질문입니다. Javascript는 동적으로 유형이 지정된 언어이므로를 반환하는 object것은 명백한 선택처럼 보입니다.

정적으로 유형이 지정된 언어로 작업 할 때 동적 리턴 시나리오가 작동하는 위치를 알고 싶다면 dynamicC # 에서 키워드를 검토하십시오 . Rob Conery는 키워드를 사용하여 400 줄의 코드 로 Object-Relational Mapper 를 성공적으로 작성할 수있었습니다 dynamic.

물론 dynamic실제로 모든 것은 object런타임 유형 안전으로 변수를 래핑하는 것 입니다.

다른 유형을 조건부로 반환하는 것은 나쁜 생각입니다. 이것이 나에게 자주 나타나는 방법 중 하나는 함수가 하나 이상의 값을 반환 할 수 있는지입니다. 하나의 값만 반환해야하는 경우 호출 함수에서 압축을 풀지 않기 위해 값을 Array로 포장하는 대신 값을 반환하는 것이 합리적 일 수 있습니다. 그러나 이것 (및 이것의 대부분의 다른 경우)은 호출자에게 두 가지 유형을 구별하고 처리 할 의무가 있습니다. 함수가 항상 같은 유형을 반환하는지 쉽게 추론 할 수 있습니다.

"나쁜 습관"은 언어를 정적으로 입력했는지 여부에 관계없이 존재합니다. 정적 언어는 이러한 관행을 피하기 위해 더 많은 노력을 기울이고 더 공식적인 언어이기 때문에 정적 언어에서 "나쁜 연습"에 대해 불평하는 사용자를 더 많이 찾을 수 있습니다. 그러나 근본적인 문제는 동적 언어로되어 있으며 문제의 정당화 여부를 결정할 수 있습니다.

여기 당신이 제안한 것에 반대하는 부분이 있습니다. 어떤 유형이 반환되는지 모르는 경우 반환 값을 즉시 사용할 수 없습니다. 나는 그것에 대해 무언가를 "발견해야"한다.

total = sum_of_array([20, 30, 'q', 50])
if (type_of(total) == Boolean) {
  display_error(...)
} else {
  record_number(total)
}

코드에서 이런 종류의 스위치는 종종 나쁜 습관입니다. 코드를 읽기 어렵게 만듭니다. 이 예에서는 예외 사례를 던지고 잡는 것이 왜 인기가 있는지를 보여줍니다. 다른 방법으로 말하면, 함수가 말하는 것을 수행 할 수 없다면 성공적으로 반환해서는 안됩니다 . 함수를 호출하면 다음과 같이하고 싶습니다.

total = sum_of_array([20, 30, 'q', 50])
display_number(total)

첫 번째 줄이 성공적으로 반환되므로 total실제로 배열의 합이 포함되어 있다고 가정합니다 . 성공적으로 반환되지 않으면 프로그램의 다른 페이지로 이동합니다.

오류 전파에 관한 것이 아닌 다른 예제를 사용하십시오. 어쩌면 sum_of_array는 똑똑하고 일부 경우에 "그건 내 사물함 조합입니다!"와 같이 사람이 읽을 수있는 문자열을 반환하려고 시도 할 것입니다. 배열이 [11,7,19] 인 경우에만 해당됩니다. 좋은 모범을 생각하는 데 어려움을 겪고 있습니다. 어쨌든 같은 문제가 적용됩니다. 반환 값을 검사하여 무엇이든 할 수 있습니다.

total = sum_of_array([20, 30, 40, 50])
if (type_of(total) == String) {
  write_message(total)
} else {
  record_number(total)
}

함수가 정수 또는 부동 소수점을 반환하는 것이 유용 할 것이라고 주장 할 수 있습니다. 예를 들면 다음과 같습니다.

sum_of_array(20, 30, 40) -> int
sum_of_array(23.45, 45.67, 67.789044) -> float

그러나 당신이 걱정하는 한, 그 결과는 다른 유형이 아닙니다. 당신은 그것들을 숫자로 취급 할 것이고, 그것이 당신이 관심을 갖는 전부입니다. 따라서 sum_of_array는 숫자 유형을 반환합니다. 이것이 다형성에 관한 것입니다.

따라서 함수가 여러 유형을 반환 할 수있는 경우 위반할 수있는 몇 가지 방법이 있습니다. 그것들을 알면 특정 함수가 여러 유형을 반환 해야하는지 결정하는 데 도움이됩니다.

실제로는 정적으로 형식이 지정된 언어로도 다른 형식을 반환하는 경우가 드물지 않습니다. 예를 들어, 유니온 타입이있는 이유입니다.

실제로 Java의 메소드는 거의 항상 네 가지 유형 중 하나를 반환합니다. 어떤 종류의 객체 또는 null예외 또는 전혀 반환하지 않습니다.

많은 언어에서 오류 조건은 결과 유형 또는 오류 유형을 리턴하는 서브 루틴으로 모델링됩니다. 예를 들어, 스칼라에서 :

def transferMoney(amount: Decimal): Either[String, Decimal]

물론 이것은 멍청한 예입니다. 반환 유형은 "문자열 또는 10 진수 반환"을 의미합니다. 일반적으로 왼쪽 유형은 오류 유형 (이 경우 오류 메시지가있는 문자열)이고 오른쪽 유형은 결과 유형입니다.

예외도 제어 흐름 구성이라는 사실을 제외하고는 예외와 유사합니다. 그들은 실제로 표현력과 동등하다 GOTO.

아직까지 SOLID 원칙을 언급 한 답변이 없습니다. 특히 Liskov 대체 원칙을 따라야합니다. 예상되는 유형 이외의 유형을받는 모든 클래스는 어떤 유형이 반환되는지 테스트하기 위해 아무 것도 수행하지 않고도 얻을 수있는 모든 유형으로 계속 작동 할 수 있습니다.

따라서 객체에 추가 속성을 던지거나 원래 함수가 수행하려고했던 것을 여전히 달성하는 데코레이터로 반환 된 함수를 래핑하면 함수를 호출하는 코드가 이것에 의존하지 않는 한 좋습니다. 모든 코드 경로에서 동작

문자열이나 정수를 반환하는 대신 스프링클러 시스템이나 고양이를 반환하는 것이 더 좋은 예입니다. 모든 호출 코드가 수행하려는 경우 functionInQuestion.hiss ()를 호출하는 것이 좋습니다. 실제로 호출 코드가 기대하는 암시 적 인터페이스가 있으며 동적으로 유형이 지정된 언어를 사용하면 인터페이스를 명시 적으로 만들 수 없습니다.

안타깝게도 동료는 아마도 그렇게 할 것입니다. 따라서 인터페이스를 정의 할 때와 같이 보편적으로 받아 들여지고 기계적으로 분석 할 수있는 방법이 없다는 것을 제외하고는 문서에서 동일한 작업을 수행해야 할 것입니다 그것들을 가진 언어로.

내가 다른 유형을 보내는 것을 볼 수있는 곳은 "예외적"조건이 예외적이지 않은 잘못된 입력 또는 "가난한 사람 예외"입니다. 예를 들어, PHP 유틸리티 저장소 에서이 간단한 예를 보여줍니다.

function ensure_fields($consideration)
{
        $args = func_get_args();
        foreach ( $args as $a ) {
                if ( !is_string($a) ) {
                        return NULL;
                }
                if ( !isset($consideration[$a]) || $consideration[$a]=='' ) {
                        return FALSE;
                }
        }

        return TRUE;
}

이 함수는 명목상 BOOLEAN을 반환하지만 유효하지 않은 입력에서는 NULL을 반환합니다. 참고 PHP 5.3 이후, 모든 내부 PHP 기능이이 방식으로 작동합니다 . 또한 일부 내부 PHP 함수는 공칭 입력에서 FALSE 또는 INT를 반환합니다.

strpos('Hello', 'e');  // Returns INT(1)
strpos('Hello', 'q');  // Returns BOOL(FALSE)

나는 이것이 나쁜 생각이라고 생각하지 않습니다! 이 가장 일반적인 의견과 달리 Robert Harvey가 이미 지적했듯이 Java와 같은 정적으로 유형이 지정된 언어는 사용자가 묻는 것과 같은 상황에 대해 Generics를 정확하게 도입했습니다. 실제로 Java는 컴파일 타임에 (가능한 경우) 유형 안전을 유지하려고 시도하며 때로는 제네릭이 코드 중복을 피하는 이유는 무엇입니까? 다른 유형을 처리 / 반환하는 동일한 메소드 또는 동일한 클래스를 작성할 수 있기 때문 입니다. 이 아이디어를 보여주는 간단한 예를 들어 보겠습니다.

자바 1.4

public static Boolean getBoolean(String property){
    return (Boolean) properties.getProperty(property);
}
public static Integer getInt(String property){
    return (Integer) properties.getProperty(property);
}

자바 1.5 이상

public static <T> getValue(String property, Class<T> clazz) throws WhateverCheckedException{
    return clazz.getConstructor(String.class).newInstance(properties.getProperty(property));
}
//the call will be
Boolean b = getValue("useProxy",Boolean.class);
Integer b = getValue("proxyPort",Integer.class);

동적 형식 언어에서는 컴파일 타임에 형식 안전성이 없으므로 많은 형식에서 작동하는 동일한 코드를 자유롭게 작성할 수 있습니다. 정적 타입 언어에서도이 문제를 해결하기 위해 제네릭이 도입되었으므로, 동적 언어로 다른 타입을 반환하는 함수를 작성하는 것은 나쁜 생각이 아니라는 힌트입니다.

소프트웨어 개발은 ​​기본적으로 복잡성을 관리하는 기술이자 기술입니다. 감당할 수있는 지점에서 시스템을 좁히고 다른 지점에서는 옵션을 제한하려고합니다. 함수의 인터페이스는 계약으로 모든 코드 작업에 필요한 지식을 제한함으로써 코드의 복잡성을 관리 할 수 ​​있습니다. 다른 유형을 반환하면 반환하는 다른 유형의 모든 인터페이스를 추가하고 반환되는 인터페이스에 대해 명백하지 않은 규칙을 추가하여 함수의 인터페이스를 크게 확장 할 수 있습니다.

함수가하는 것은 문맥에 따라 달라지기 때문에 펄은 이것을 많이 사용 한다 . 예를 들어, 함수는 목록 컨텍스트에서 사용되는 경우 배열을 반환하거나 스칼라 값이 필요한 위치에서 사용되는 경우 배열의 길이를 반환 할 수 있습니다. 다음 과 같은 경우 "perl context"에 대한 첫 번째 히트 인 학습서 에서 :

my @now = localtime();

그런 다음 @now는 배열 변수 (@가 의미하는 것)이며 (40, 51, 20, 9, 0, 109, 5, 8, 0)과 같은 배열을 포함합니다.

대신 결과가 스칼라 여야하는 방식으로 함수를 호출하는 경우 ($ 변수는 스칼라 임) :

my $now = localtime();

$ now는 "Fri Jan 9 20:51:40 2009"와 같은 형태가 될 것입니다.

내가 생각할 수있는 또 다른 예는 REST API를 구현하는 것입니다. 여기서 반환되는 형식은 클라이언트가 원하는 것에 따라 다릅니다. 예를 들어, HTML 또는 JSON 또는 XML입니다. 기술적으로 이것들은 모두 바이트 스트림이지만 아이디어는 비슷합니다.

역동적 인 나라에서는 오리 타이핑에 관한 것입니다. 가장 책임있는 노출 / 공개 대상은 잠재적으로 다른 유형을 랩퍼로 랩핑하여 동일한 인터페이스를 제공하는 것입니다.

function ThingyWrapper(thingy){ //a function constructor (class-like thingy)

    //thingy is effectively private and persistent for ThingyWrapper instances

    if(typeof thingy === 'array'){
        this.alertItems = function(){
            thingy.forEach(function(el){ alert(el); });
        }
    }
    else {
        this.alertItems = function(){
            for(var x in thingy){ alert(thingy[x]); }
        }
    }
}

function gimmeThingy(){
    var
        coinToss = Math.round( Math.random() ),//gives me 0 or 1
        arrayThingy = [1,2,3],
        objectThingy = { item1:1, item2:2, item3:3 }
    ;

    //0 dynamically evaluates to false in JS
    return new ThingyWrapper( coinToss ? arrayThingy : objectThingy );
}

gimmeThingy().alertItems(); //should be same every time except order of numbers - maybe

때로는 일반적인 래퍼를 사용하지 않고 7 년 동안 JS를 작성하는 동안 솔직히 다른 유형을 모두 제거하는 것이 합리적 일 수 있습니다. 대부분은 물건이 모이는 물체의 내부와 같은 닫힌 환경에서 할 것입니다. 그러나 모든 예제가 떠오를 정도로 자주 수행 한 것은 아닙니다.

대체로 타입에 대한 생각은 그만두라고 조언합니다. 동적 언어가 필요한 경우 유형을 처리합니다. 더 이상은 없어. 요점입니다. 모든 단일 인수의 유형을 확인하지 마십시오. 그것은 동일한 방법이 불명확 한 방식으로 불일치 한 결과를 줄 수있는 환경에서만하고 싶은 유혹입니다 (따라서 그렇게하지 마십시오). 그러나 그것은 중요한 유형이 아니며, 당신이 나에게주는 것이 무엇이든 작동합니다.