std::function과 형식 소거 호출 가능 객체
std::function 뒤에서 형식을 소거하고 소형 버퍼 최적화를 이해합니다.
std::function과 형식 소거 호출 가능 객체은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
문제: 여러 호출 가능한 대상에 하나의 타입 사용하기
각 람다는 고유한 타입을 가집니다. 각 함수 포인터도 서로 다른 타입입니다. 이들을 모두 담을 수 있는 하나의 타입이 필요하며, 그것이 std::function입니다.
템플릿 매개변수
std::function<Signature>은 반환 타입과 매개변수 타입을 받습니다. 해당 시그니처로 호출할 수 있는 모든 대상을 허용합니다.
#include <functional>
std::function<int(int, int)> op;
op = [](int a, int b) { return a + b; };
std::cout << op(3, 4); // 7서로 다른 호출 가능한 대상 저장하기
같은 std::function 변수에 람다, 함수 포인터 또는 함수 객체를 저장할 수 있습니다. 시그니처만 일치하면 됩니다.
std::function<int(int)> f;
f = [](int x) { return x * 2; }; // lambda
f = ::abs; // function pointer
f = std::negate<int>{}; // functor타입 소거
내부적으로 std::function은 타입 소거를 사용합니다. 모든 호출 가능한 대상을 저장하고 일관된 인터페이스 뒤에 실제 타입을 숨깁니다. 작은 힙 할당을 사용하는 방식으로 구현되는 경우가 많습니다.
성능 비용
std::function을 통한 호출에는 간접 호출이 포함됩니다(가상 함수와 비슷합니다). 직접적인 람다 호출보다 느립니다. 성능이 중요한 경로에서는 사용하지 마십시오.
std::function을 사용할 때
다음과 같은 경우 사용하십시오:
- 컨테이너 또는 클래스 멤버에 콜백을 저장할 때
- 함수에서 호출 가능한 대상을 반환할 때
- 플러그인 또는 이벤트 시스템을 구축할 때
비어 있는 std::function
기본 생성된 std::function은 비어 있습니다. 이를 호출하면 std::bad_function_call이 발생합니다.
std::function<void()> f;
if (f) f(); else std::cout << "no callback set";멤버 함수 포인터
std::bind로 멤버 함수를 바인딩하거나 람다로 감싸십시오.
struct Obj { void greet(int) {} };
Obj o;
std::function<void(int)> cb = [&](int n) { o.greet(n); };함수 포인터와 비교
함수 포인터는 상태를 저장할 수 없습니다. std::function은 저장할 수 있지만 간접 호출이라는 비용이 발생합니다.
템플릿과 비교
호출 가능한 매개변수를 사용하는 템플릿은 컴파일 시간에 특수화되므로 가장 빠릅니다. std::function은 런타임에 결정되므로 더 느리지만 유연합니다.
template <typename F>
void run(F f) { f(); } // compile-time, no overhead
void run(std::function<void()> f) { f(); } // runtime, type erasureC++23의 std::function: std::function_ref
C++23에는 호출 가능한 대상에 대한 비소유 뷰인 std::function_ref가 추가되었습니다. 수명이 제한된 경우 힙 할당을 피할 수 있습니다.
대안
더 가벼운 대안도 있습니다: std::move_only_function(C++23), tl::function_ref, folly::Function입니다. 필요에 따라 선택하십시오.
빠른 확인
std::function의 가장 큰 단점은 무엇인가요?
요약
std::function<Signature>은 일치하는 시그니처를 가진 모든 호출 가능한 대상을 저장합니다. 콜백, 플러그인, 호출 가능한 대상에 대한 런타임 다형성에 유용하지만 간접 호출이라는 비용이 발생합니다.
자주 묻는 질문
“std::function과 형식 소거 호출 가능 객체” 강의는 무료인가요?
네 — “std::function과 형식 소거 호출 가능 객체” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“std::function과 형식 소거 호출 가능 객체”에서 뭘 배우나요?
std::function 뒤에서 형식을 소거하고 소형 버퍼 최적화를 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“std::function과 형식 소거 호출 가능 객체” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 함수 객체와 함수자
- 람다 캡처: 값, 참조, mutable
- 제네릭 람다와 클로저 C++14
- std::function과 형식 소거 호출 가능 객체