중괄호로 묶인 이니셜 라이저는 언제 사용합니까?

C ++ 11에는 클래스 초기화를위한 새로운 구문이있어 변수를 초기화하는 방법에 대한 많은 가능성을 제공합니다.

{ // Example 1
  int b(1);
  int a{1};
  int c = 1;
  int d = {1};
}
{ // Example 2
  std::complex<double> b(3,4);
  std::complex<double> a{3,4};
  std::complex<double> c = {3,4};
  auto d = std::complex<double>(3,4);
  auto e = std::complex<double>{3,4};
}
{ // Example 3
  std::string a(3,'x');
  std::string b{3,'x'}; // oops
}
{ // Example 4
  std::function<int(int,int)> a(std::plus<int>());
  std::function<int(int,int)> b{std::plus<int>()};
}
{ // Example 5
  std::unique_ptr<int> a(new int(5));
  std::unique_ptr<int> b{new int(5)};
}
{ // Example 6
  std::locale::global(std::locale("")); // copied from 22.4.8.3
  std::locale::global(std::locale{""});
}
{ // Example 7
  std::default_random_engine a {}; // Stroustrup's FAQ
  std::default_random_engine b;
}
{ // Example 8
  duration<long> a = 5; // Stroustrup's FAQ too
  duration<long> b(5);
  duration<long> c {5};
}

선언하는 각 변수에 대해 어떤 초기화 구문을 사용해야하는지 생각해야하는데 이로 인해 코딩 속도가 느려집니다. 나는 그것이 중괄호를 도입하려는 의도가 아니라고 확신합니다.

템플릿 코드와 관련하여 구문을 변경하면 다른 의미로 이어질 수 있으므로 올바른 방법으로가는 것이 필수적입니다.

어떤 구문을 선택해야하는지 보편적 인 지침이 있는지 궁금합니다.

나는 생각 다음이 좋은 지침이 될 수 :

• 초기화하는 (단일) 값이 객체 의 정확한 값 이되도록 의도 된 경우 복사 ( =) 초기화를 사용합니다 (오류가 발생해도 실수로 명시 적 생성자를 호출하지 않으므로 일반적으로 제공된 값을 해석합니다.) 다르게). 복사 초기화를 사용할 수없는 곳에서는 중괄호 초기화에 올바른 의미가 있는지 확인하고, 그렇다면이를 사용합니다. 그렇지 않으면 괄호 초기화를 사용합니다 (사용할 수없는 경우 어쨌든 운이 없습니다).

• 초기화하는 값이 객체에 저장할 값 목록 (예 : 벡터 / 배열의 요소 또는 복소수의 실수 / 허수 부분) 인 경우 가능한 경우 중괄호 초기화를 사용합니다.

• 당신이 초기화되는 값이 있다면 하지 저장되는 값 만 설명 개체를 사용 괄호의 의도 된 값 / 상태. 예는의 크기 인수 vector또는의 파일 이름 인수입니다 fstream.

나는 보편적 인 지침이 결코 없을 것이라고 확신합니다. 내 접근 방식은 항상 중괄호를 사용하여

1. 이니셜 라이저 목록 생성자가 다른 생성자보다 우선합니다.
2. 모든 표준 라이브러리 컨테이너와 std :: basic_string에는 이니셜 라이저 목록 생성자가 있습니다.
3. 중괄호 초기화는 축소 변환을 허용하지 않습니다.

따라서 둥근 중괄호와 중괄호는 서로 바꿔서 사용할 수 없습니다. 그러나 그들이 어디에서 다른지 알면 대부분의 경우에 둥근 대괄호 초기화를 사용할 수 있습니다 (현재 컴파일러 버그가 아닌 경우).

일반 코드 (예 : 템플릿) 외에 어디에서나 중괄호를 사용할 수 있습니다 . 한 가지 장점은 모든 곳에서 작동한다는 것입니다. 예를 들어 클래스 내 초기화에서도 마찬가지입니다.

struct foo {
    // Ok
    std::string a = { "foo" };

    // Also ok
    std::string b { "bar" };

    // Not possible
    std::string c("qux");

    // For completeness this is possible
    std::string d = "baz";
};

또는 함수 인수의 경우 :

void foo(std::pair<int, double*>);
foo({ 42, nullptr });
// Not possible with parentheses without spelling out the type:
foo(std::pair<int, double*>(42, nullptr));

변수의 경우 T t = { init };또는 T t { init };스타일 사이에 많은주의를 기울이지 않습니다. 그 차이가 사소하고 최악의 경우 explicit생성자 오용에 대한 유용한 컴파일러 메시지 만 표시 됩니다.

std::initializer_list분명히 때때로 비 std::initializer_list생성자가 필요 하지만 허용하는 유형의 경우 (고전적인 예는 std::vector<int> twenty_answers(20, 42);)입니다. 그러면 중괄호를 사용하지 않는 것이 좋습니다.

일반 코드 (예 : 템플릿)에 관해서는 맨 마지막 단락에서 경고를 발생시켜야합니다. 다음을 고려하세요:

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{ return std::unique_ptr<T> { new T { std::forward<Args>(args)... } }; }

그런 auto p = make_unique<std::vector<T>>(20, T {});경우, 크기 2의 벡터를 생성 T예이다 int경우 또는 크기 (20)의 벡터 T이다 std::string. 여기에서 뭔가 매우 잘못되었다는 매우 확실한 신호는 여기서 당신을 구할 수있는 특성이 없다는 것입니다 (예 : SFINAE) : std::is_constructible직접 초기화의 관점에서, 우리는 직접-초기화를 사용하는 중괄호 초기화를 사용합니다. 방해 를 받는 생성자가없는 경우에만 초기화 std::initializer_list. 마찬가지로 std::is_convertible도움이되지 않습니다.

나는 그것을 고칠 수있는 특성을 실제로 손으로 굴리는 것이 가능한지 조사했지만 그것에 대해 지나치게 낙관적이지는 않습니다. 어쨌든 나는 우리가 많이 놓칠 것이라고 생각하지 않는다. 나는 그 make_unique<T>(foo, bar)결과에 상응하는 구조 가된다는 사실 T(foo, bar)이 매우 직관적 이라고 생각한다 . 특히 감안할 때 make_unique<T>({ foo, bar })매우 비슷하며 경우에만 의미가 있습니다 foo와 bar같은 종류가 있습니다.

따라서 일반 코드의 경우 값 초기화 (예 : T t {};또는 T t = {};) 에만 중괄호를 사용합니다 . 이는 매우 편리하며 C ++ 03 방식보다 우수하다고 생각합니다 T t = T();. 그렇지 않으면 직접 초기화 구문 (예 :) T t(a0, a1, a2);또는 기본 구성 ( T t; stream >> t;내가 생각하는 유일한 경우)입니다.

그렇다고 모든 중괄호가 나쁘다는 의미는 아닙니다 . 이전 예제를 수정하여 고려하십시오.

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{ return std::unique_ptr<T> { new T(std::forward<Args>(args)...) }; }

std::unique_ptr<T>실제 유형이 템플릿 매개 변수에 따라 달라 지 더라도을 구성하는 데 여전히 중괄호를 사용합니다 T.