초기화 목록 및 표준 앞으로

Question

을 :: 바로 f(t)가 호출 될 때 t의 값이 멀리 이동 한 이후

class D { /* ... */ }; 

int f (const D & t) { return /* something calculated from t */; } 

template<class T> 
class C { 
private: 
    int m_i; 
    T m_t; 
    // or first m_t, then m_i -- careless order of declarations 
public: 
    template<class T_> 
    C (T_ && t) : m_t (std::forward<T_> (t)), m_i (f (t)) { 
    } 
}; 

C<D> c (D()); 

버그로 이어질 수 있다는 가정에서 나는 건가요? (i) 공장 기능을 사용하거나 (ii) m_i 및 m_t이 선언 된 순서에 대한 종속성을 소개하는 것과는 별도로이 문제를 피할 수있는 방법이 있습니까?

Answer 1

우선은 초기화 목록의 평가 순서는 클래스 정의에서 멤버의 순서에 의해 결정된다는 것이다, 귀하의 경우, 그래서이 될 것입니다 : 그래서

template<class T_> 
C (T_ && t) 
    : m_i (f (t)), m_t (std::forward<T_> (t)) { 
} 

를 귀하의 경우 그것은 괜찮습니다. 멤버 m_i 먼저 초기화

T m_t; 
int m_i; 
template<class T_> 
C (T_ && t) 
    : m_t (std::forward<T_> (t)), m_i (f (m_t)) { 
} 

Answer 2

과 시간 값이 명확하게 이동되지 않습니다 : 당신이m_i 전에 m_t이 선언 될 수 있도록 구성원을 다시 정렬하고 초기화에 m_t을 사용하는 경우에도 괜찮을 것 그것도 움직이지 않을 것이다. m_t(std::forward<T>(t))을 초기화하면 t 값을 사용하지 않는다고 암묵적으로 약속합니다 (적어도 새 값을 지정할 때까지).

일반적으로 실행 순서가 중요하며 이는 멤버 이니셜 라이저 목록에서도 마찬가지입니다. 즉, 멤버 간의 의존 관계를 소개 할 때 멤버를 선언하는 순서에주의해야합니다.