완벽 전달에 대해 궁금합니다.

dkwkekzz의 이미지

안녕하세요. 궁금한게 있습니다~

단순히 객체들을 전달하는 것만이 아니라, 그 객체들의 주요 특징, 즉 그 형식, 왼값 또는 오른값의 여부, const나 volatile여부까지도 그대로 전달하는 것을 말한다.

위는 완벽전달입니다. 일반 전달과는 다릅니다.

void f(const std::vector<int>& data)
{
	//작업 수행 중
	std::cout << "lvalue complete.\n";
}
 
void f(std::vector<int>&& data)
{
	//작업 수행 중
	std::cout << "rvalue complete.\n";
}
 
template<typename T>
void fwd(T&& param) //보편 참조: 어떠한 타입의 매개변수도 받아들인다.
{
	f(std::forward<T>(param));
	f(param);
}
 
int main()
{
	std::vector<int> v{ 1, 2, 3, 4, 5 }; //vector<int>&
	fwd(v);
	std::cout << "==================\n";
	fwd(std::vector<int>(5, 3)); //vector<int>&&
 
	return 0;
}

위에서 f(param);은 오른값을 넘길 수 없습니다. 위와 같이 중복적재되어 있다면 param이 오른값일지라도
왼값 함수가 호출되며 만약 왼값을 받는 함수가 없다면 컴파일 에러가 발생합니다.
'function' : cannot convert argument n from 'type1' to 'type2'

즉, vector에서 vector&&로 전환할 수 없다고 합니다. 위의 호출에서는 param은 호출 전에는 &&이었지만
함수 매개변수로 넘어가면서 복사되었다는 의미같습니다.

무슨 근거로 이렇게 작동하지요?

만약 왼값(param)을 넘겨준다고 가정합시다.

void f(std::vector<int>& data)
{
	//작업 수행 중
	data.push_back(9999);
	std::cout << "lvalue complete.\n";
}
 
template<typename T>
void fwd(T&& param)
{
	f(param);
	std::cout << param.size() << '\n';
}

위의 코드만 있다면 전달 받는 함수에는 참조 값을 받습니다. 이 과정에서는 분명히 param의 복사가 일어나지 않습니다.
만약 일어났다면 함수 호출 이후 param의 크기는 바뀌지 않았을 것입니다.

복사가 아니면 왜 타입이 vector&&에서 vector가 될 수 있지요?

정말 궁금합니다ㅜㅜ 답변 부탁드립니다~

감사합니다.

 의 이미지

먼저 올려주신 코드에서 fwd(v)는 보편 참조에 왼값을 넘긴 경우입니다.
이 때 Tstd::vector<int> &으로 연역되고, T && 역시 std::vector<int> &가 됩니다.

따라서 fwd 함수 안에서의 파라미터 param은 타입이 std::vector<int> &인 왼값 참조가 됩니다.

따라서 f(param)와 같이 호출하면 당연히 왼값을 받는 중복적재 버전이 선택됩니다. 그리고 왼값 참조가(std::move 등을 적용하지 않는 한) 자동으로 오른값 참조가 되지도 않죠.

둘째 코드도 마찬가집니다. 함수 fparam을 왼값 참조로 받기 때문에 그것을 변경할 수 있는 거죠.

여기에 깔린 원리, 즉 보편 참조의 동작 원리나 참조 축약 같은 걸 공부하시려면 Effective Modern C++ 같은 책이 좋습니다. 여기서 다 설명드리기는 무척 귀찮네요.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.