템플릿 및 rvalues ​​참조를 매개 변수로 사용하기

Question

std::map< std::string, boost::any >은 OptionsMap이고 모든 유형 (따라서 템플릿)을 가져 와서 맵에 저장하는 기능을 만들고 싶습니다. 다음 코드가 작동합니까?

template <typename T> 
void Set(std::string optionName, T&& optionValue) 
{ 
    OptionsMap[optionName] = optionValue; 
} 

Answer 1

일반적으로 함수 템플릿이 범용 참조 (예 : 추론 된 유형의 참조 값)를 허용하는 경우 인수에 제공된 값 범주와 동일한 값 범주를 얻기 위해 forward 함수 매개 변수를 캐스팅해야합니다 함수 호출에 :

template <typename T> 
void Set(std::string optionName, T&& optionValue) 
{ 
    OptionsMap[optionName] = std::forward<T>(optionValue); 
    //      ^^^^^^^^^^^^^^^ 
} 

매개 변수 optionValue 자체는 캐스팅하지 않고, 그래서 당신이 이동해야 것의 복사본을 만드는 것, 항상 좌변입니다. 유형이 복사 가능하면 예상보다 효율적이지 않습니다. 유형을 복사 할 수없는 경우 (예 : unique_ptr) 악화됩니다. 이제 함수가 이후에 컴파일에 실패하는 인수를 허용합니다.

Answer 2

물론. 왜 효과가 없을까요?

boost::any::operator=은 ValueType을 만족하는 모든 데이터 형식의 인수를 허용합니다.

boost::any이 이동 의미 체계를 지원하기 시작하면 순방향 호환성을 위해 값을 들여서 이동하려고합니다. 이 때, 가동 그것을을 이동이 함수 r- 수치로 전달

template <typename T> 
void Set(std::string optionName, T optionValue) 
{ 
    OptionsMap[optionName] = std::move(optionValue); 
} 

. 그것은 표준에 의해 보장됩니다.