C ++ 11 자동 키워드가 너무 많습니까?

auto복잡한 템플릿 형식에 대해 C ++ 11 표준에서 사용할 수 있는 새로운 키워드를 사용하고 있습니다. 그러나 나는 또한 그것을 다음과 같은 것들에 사용하고 있습니다 :

auto foo = std::make_shared<Foo>();

그리고 더 회의적으로 :

auto foo = bla(); // where bla() return a shared_ptr<Foo>

나는이 주제에 대해 많은 논의를 보지 못했다. auto유형은 종종 문서 및 위생 검사의 한 형태이기 때문에 과도하게 사용될 수있는 것 같습니다 . 사용 라인을 어디 auto에서 그리고이 새로운 기능에 권장되는 사용 사례는 무엇입니까?

명확히하기 위해 : 나는 철학적 의견을 요구하지 않습니다. 표준위원회에서이 키워드의 의도 된 사용을 요청하고 있으며, 의도 된 사용이 실제로 어떻게 실현되는지에 대한 의견이있을 수 있습니다.

참고 :이 질문은 SE.Programmers로 옮겨졌다가 다시 Stack Overflow로 돌아 왔습니다. 이것에 대한 논의는이 메타 질문 에서 찾을 수 있습니다 .

auto첫눈에 유형을 작성하는 방법을 말하기가 어려울 때마다 키워드를 사용해야한다고 생각 하지만 표현식의 오른쪽 유형은 분명합니다. 예를 들어,

my_multi_type::nth_index<2>::type::key_type::composite_key_type::
    key_extractor_tuple::tail_type::head_type::result_type

복합 키 유형 boost::multi_index을 알고 있다고해도 int. int나중에 변경 될 수 있기 때문에 글을 쓸 수 없습니다 . 나는 쓴다 auto,이 경우.

은 if 그래서 auto키워드가 특정 경우에 가독성을 개선 한 후 사용하십시오. auto유형이 무엇을 auto나타내는 지 독자에게 분명 할 때 쓸 수 있습니다 .

여기 몇 가지 예가 있어요.

auto foo = std::make_shared<Foo>();   // obvious
auto foo = bla();                     // unclear. don't know which type `foo` has

const size_t max_size = 100;
for ( auto x = max_size; x > 0; --x ) // unclear. could lead to the errors
                                      // since max_size is unsigned

std::vector<some_class> v;
for ( auto it = v.begin(); it != v.end(); ++it )
                                      // ok, since I know that `it` has an iterator type
                                      // (don't really care which one in this context)

부작용이 걱정되는 일이 없도록 auto가능한 모든 곳에서 사용하십시오 const auto. 명백한 경우를 제외하고 유형에 대해 걱정할 필요는 없지만 정적으로 검증되어 반복을 피할 수 있습니다. 어디 auto가능하지, 당신은 사용할 수 있습니다 decltype로 의미 유형을 표현하는 계약 식을 기반으로. 코드는 다르게 보일 것이지만 긍정적 인 변화가 될 것입니다.

쉬운. 유형이 무엇인지 신경 쓰지 않을 때 사용하십시오 . 예를 들어

for (const auto & i : some_container) {
   ...

내가 여기에서 신경 쓰는 i것은 컨테이너에있는 것입니다.

typedef와 비슷합니다.

typedef float Height;
typedef double Weight;
//....
Height h;
Weight w;

여기에, 난 상관 여부하지 않는 h및 w그들이 단지 것을, 수레 또는 복식있는 높이와 무게를 표현하기에 적합하다 어떤 유형 .

아니면 고려

for (auto i = some_container .begin (); ...

여기서 내가 걱정하는 것은 그것이 적절한 반복자이며 지원하는 operator++()것입니다.이 점에서 오리 타이핑과 같습니다.

또한 람다 유형은 철자를 사용할 수 없으므로 auto f = []...좋은 스타일입니다. 대안은std::function 중이지만 오버 헤드가 있습니다.

의 "학대"를 실제로 생각할 수 없습니다 auto. 내가 상상할 수있는 가장 가까운 것은 중요한 유형으로 명시 적으로 변환하는 것을 박탈하는 것입니다 auto.

당신이 경우 수있는 부작용을 도입하지 않고 코드에서 일부 중복을 제거, 해야한다 이렇게 좋은.

반례 (다른 사람의 답변에서 차용) :

auto i = SomeClass();
for (auto x = make_unsigned (y); ...)

여기서 우리는 타입이 무엇인지 신경 쓰므로, 우리는 작성 Someclass i;하고for(unsigned x = y;...

해봐 auto코드 작성이 더 쉬운 곳이라면 어디에서나 사용하십시오 .

모든 언어의 모든 새로운 기능은 적어도 일부 유형의 프로그래머가 남용 할 것입니다. 경험이 풍부한 프로그래머 (누가 아님)는 숙련 된 프로그래머가 적당히 남용하여 나머지 숙련 된 프로그래머가 올바른 사용의 경계를 알게됩니다. 극단적 인 남용은 일반적으로 좋지 않지만 이러한 남용으로 인해 기능이 개선되거나 기능을 대체 할 수 있기 때문에 좋을 수 있습니다.

그러나 내가 몇 줄 이상으로 코드 작업을하고 있다면

auto foo = bla();

유형이 0으로 표시되는 경우 유형을 포함하도록 해당 줄을 변경하고 싶을 수 있습니다. 첫 번째 예는 유형이 한 번 언급되기 때문에 훌륭하며 auto지저분한 템플릿 유형을 두 번 작성하지 않아도됩니다. C ++++ 용 Hooray 그러나 가까운 라인에서 쉽게 볼 수 없다면 유형을 0으로 명시 적으로 표시하면 적어도 C ++ 및 그 후속 작업에서 긴장하게됩니다. 더 많은 추상화, 다형성 및 일반성을 가지고 높은 수준에서 작동하도록 설계된 다른 언어의 경우 괜찮습니다.

에서 C ++ 및 2012 년 이후 에 물어 우리 뭐든지 패널, 거기 사용하고 사용하지 않는 경우에 대해 이야기 안드레이 Alexandrescu의 스콧 마이어스와 허브 셔터 사이의 환상적인 교환auto . 4 분 토론을 위해 25:03 분으로 건너 뜁니다. 세 스피커 모두 사용 하지 않을 때 명심해야 할 훌륭한 포인트를 제공 합니다.auto .

내가보기 엔 자신의 결론에 도달하는 사람들을 격려,하지만 내 걸릴 멀리는 것이었다 사용하는 auto모든 곳에서 하지 않는 :

1. 가독성이 떨어집니다
2. 자동 유형 변환 (예 : 생성자, 할당, 템플릿 중간 유형, 정수 너비 간 암시 적 변환)에 대한 우려가 있습니다.

자유 주의적 사용 explicit 하면 후자에 대한 우려가 줄어들어 전자가 문제가되는 시간을 최소화 할 수 있습니다.

Herb가 말한 것을 표현하면, "X, Y, Z를 사용하지 않는 경우을 사용하십시오 auto. X, Y 및 Z가 무엇인지 배우고 auto다른 곳에서 사용하십시오 ."

그렇습니다. 가독성을 떨어 뜨릴 수 있습니다. 정확한 유형이 길거나 말을 할 수 없거나 가독성에 중요하지 않고 변수가 짧은 상황에서 사용하는 것이 좋습니다. 예를 들어, 반복자 유형은 일반적으로 길고 중요하지 않으므로 auto작동합니다.

   for(auto i = container.begin(); i != container.end(); ++i);

auto 가독성을 손상시키지 않습니다.

또 다른 예는 길고 복잡한 파서 규칙 유형입니다. 비교:

   auto spaces = space & space & space;

와

r_and_t<r_and_t<r_char_t<char>&, r_char_t<char>&>, r_char_t<char>&> spaces = 
   space & space & space;

반면에 type이 알려져 있고 단순 할 때 명시 적으로 언급하면 ​​훨씬 좋습니다.

int i = foo();

오히려

auto i = foo();

auto Eigen 또는 OpenCV와 같은 선형 대수 라이브러리에서 많이 사용되는 표현식 템플릿과 함께 사용하면 매우 위험 할 수 있습니다.

auto A = Matrix(...);
auto B = Matrix(...);
auto C = A * B; // C is not a matrix. It is a matrix EXPRESSION.
cout << C; // The expression is evaluated and gives the expected result.
... // <code modifying A or B>
cout << C; // The expression is evaluated AGAIN and gives a DIFFERENT result.

이러한 유형의 실수로 인한 버그는 디버깅하기에 큰 고통입니다. 왼쪽에서 오른쪽으로 선언하는 스타일에 대해 auto를 사용하는 데 어려움이 있다면 결과를 예상되는 유형으로 명시 적으로 캐스팅하는 것이 가능합니다.

auto C = Matrix(A * B); // The expression is now evaluated immediately.

나는 autowihout 제한을 사용 하고 아무런 문제에 직면하지 않았습니다. 때로는 때로는 간단한 유형에 사용하기도합니다 int. 이것은 c ++을 나를 위해 더 높은 수준의 언어로 만들고, 파이썬 에서처럼 c ++로 변수를 선언 할 수있게합니다. 파이썬 코드를 작성한 후에는 때로는 다음과 같이 작성합니다.

auto i = MyClass();

대신에

MyClass i;

이것은 내가 그것을 남용이라고 말하는 경우입니다 auto 키워드 .

종종 나는 그 fonctionality에 더 관심이있어, 함수 이름은 일반적으로 그들이 돌아 개체에 대한 뭔가를 말하는 것처럼, 객체의 정확한 유형이 무엇인지 상관 없어 auto예에서 : 다치게하지 않습니다 auto s = mycollection.size(), 나는 그 추측 할 수 s있을 것입니다 정수의 종류이며, 정확한 유형에 관심이있는 드문 경우에는 함수 프로토 타입을 확인한 다음 코드를 작성할 때 우선 순위가 아닌 정보가 필요할 때 확인하는 것을 선호합니다. )에서와 같이 언젠가 유용 할 경우를 대비하여 int_type s = mycollection.size().

허용 된 답변 의이 예와 관련하여 :

for ( auto x = max_size; x > 0; --x )

내 코드에서는 여전히 사용합니다 auto 하고 x서명하지 않으 려면 say라고 불리는 유틸리티 함수를 사용합니다.이 함수는 make_unsigned내 우려를 분명히 나타냅니다.

for ( auto x = make_unsigned(max_size); x > 0; --x )

면책 조항 : 나는 단지 내 사용법을 설명 하고 조언을 할 수있는 능력이 없습니다!

C ++ 프로그램 의 주요 문제점 중 하나 는 초기화되지 않은 변수 를 사용할 수 있다는 것입니다. 입니다. 이로 인해 비 결정적 프로그램 동작이 불쾌 해집니다. 현대의 컴파일러는 이제 프로그램 타이어가 그것을 사용한다면 적절한 / 메시지 경고 메시지를 던집니다.

이것을 설명하기 위해 아래의 C ++ 프로그램을 고려하십시오.

int main() {
    int x;
    int y = 0;
    y += x;
}

최신 컴파일러 (GCC)를 사용 하여이 프로그램을 컴파일하면 경고가 표시됩니다. 실제 복잡한 프로덕션 코드로 작업하는 경우 이러한 경고가 명확하지 않을 수 있습니다.

main.cpp : 함수 'int main ()'에서 :

main.cpp : 4 : 8 : 경고 :이 함수에서 'x'는 초기화되지 않은 상태로 사용됩니다 [-Wuninitialized]

y + = x;

    ^

===================================================== ============================== 이제 auto 를 사용하는 프로그램을 변경 하면 다음과 같이 컴파일됩니다 :

int main() {
    auto x;
    auto y = 0;
    y += x;
}

main.cpp : 함수 'int main ()'에서 :

main.cpp : 2 : 10 : 오류 : 'auto x'선언에 초기화자가 없습니다.

 auto x;

      ^

auto를 사용하면 초기화되지 않은 변수를 사용할 수 없습니다. 이것은 auto 사용을 시작하면 무료로 얻을 수있는 주요 이점입니다 .

이 개념과 다른 훌륭한 현대 C ++ 개념은 C ++ 전문가 인 Herb Shutter 가 CppCon14 강연에서 설명합니다.

기본으로 돌아 가기 현대 C ++ 스타일의 필수 요소

내가 언급 한 한 가지 위험은 참고로 볼 때입니다. 예 :

MyBigObject& ref_to_big_object= big_object;
auto another_ref = ref_to_big_object; // ?

문제는 another_ref는 실제로이 경우 참조가 아니며 MyBigObject & 대신 MyBigObject입니다. 큰 개체를 인식하지 못한 채 복사합니다.

메소드에서 직접 참조를 얻는 경우 실제로 그것이 무엇인지 생각하지 못할 수 있습니다.

auto another_ref = function_returning_ref_to_big_object();

"auto &"또는 "const auto &"가 필요합니다

MyBigObject& ref_to_big_object= big_object;
auto& another_ref = ref_to_big_object;
const auto& yet_another_ref = function_returning_ref_to_big_object();

사용하다 auto형식이 유추 될 수있는 곳에서 . 정수라는 것을 알고 있거나 문자열이라는 것을 알고 있다면 int / std :: string 등을 사용하십시오. 어리 석음에 도달하지 않으면 언어 기능을 "과도하게 사용"하는 것에 대해 걱정하지 않아도됩니다. 또는 코드를 난독 처리합니다.

어쨌든 내 의견이다.

auto키워드는 인수 또는 클래스 / 구조 멤버가 아닌 로컬 변수에만 사용할 수 있습니다. 따라서 원하는 곳 어디에서나 사용하는 것이 안전하고 실행 가능합니다. 나는 그들을 많이 사용합니다. 컴파일 타임에 유형이 추론되고 디버거는 디버깅하는 동안 유형을 표시하고 sizeof올바르게보고하며 decltype올바른 유형을 제공합니다. 해가 없습니다. 나는 auto남용으로 간주되지 않습니다 !

TL; DR : 맨 아래에있는 룰을 참조하십시오.

허용 대답은 엄지 손가락의 다음과 같은 규칙을 제안한다 :

auto첫눈에 유형을 작성하는 방법을 말하기 어려울 때마다 사용 하지만 표현식의 오른쪽 유형은 분명합니다.

그러나 나는 그것이 너무 제한적이라고 말합니다. 언젠가 나는 유형에 대해 신경 쓰지 않습니다. 성명은 시간을내어 유형을 파악하는 데 귀찮게하지 않고 충분히 유익하기 때문입니다. 그게 무슨 소리 야? 일부 답변에서 팝업 된 예를 고려하십시오.

auto x = f();

이것이 오용의 예가되는 이유는 무엇입니까 auto? f()의 반환 유형에 대한 나의 무지 입니까? 글쎄, 내가 알면 도움이 될지 모르지만 그것은 내 주요 관심사가 아닙니다. 무엇 훨씬 더 문제의 것은이다 x와 f()꽤 의미가 없습니다. 우리가 가진 경우 :

auto nugget = mine_gold();

대신 함수의 반환 유형이 명백한 지 여부는 일반적으로 신경 쓰지 않습니다. 진술을 읽고, 나는 내가하고있는 일을 알고 있으며 반환 값의 의미가 무엇인지 그 유형을 알 필요가 없다는 것을 알고 있습니다.

그래서 내 대답은 : auto컴파일러가 허용 할 때마다 사용하십시오 .

• 초기화 / 지정 표현식과 함께 변수 이름이 명령문의 수행에 대한 충분한 정보를 제공하지 않는다고 생각합니다.
• 변수 이름에 초기화 / 지정 표현식과 함께 유형이 무엇인지에 대한 "오해의 소지가있는"정보를 제공한다고 생각합니다. 즉, 자동 대신 무엇이 올지 추측해야한다면 추측 할 수 있습니다. 이 잘못된 가정은 나중에 코드에서 영향을 미칩니다.
• 다른 유형 (예 : 참조)을 적용하려고합니다.

그리고 또한:

• auto구체적인 유형으로 바꾸기 전에 의미있는 이름 (물론 유형 이름이 포함되지 않음)을 제공하는 것이 좋습니다.

내 쓰라린 경험 중 하나 auto입니다 람다 표현식을 사용하여 :

auto i = []() { return 0; };
cout<<"i = "<<i<<endl; // output: 1 !!!

실제로, 여기서는의 i함수 포인터로 해석됩니다 int(*)(). 이것은 간단 cout하지만, 어떤 종류의 컴파일 / 런타임 오류가 발생했는지 상상해보십시오 template.

당신은해야 하지 않도록 auto 같은 표현식과 적절한 넣어 return유형 (또는 제어 decltype())

위 예제의 올바른 사용법은 다음과 같습니다.

auto i = []() { return 0; }(); // and now i contains the result of calling the lambda