1. std::invoke 기본 개념

• 정의:

  std::invoke(callable, args...)는 callable이라는 호출 가능한 객체에 대해, 그 인자들을 전달하여 호출하는 역할을 한다.

• 호출 가능한 객체란?

  • 일반 함수
  • 멤버 함수 포인터
  • 람다 함수
  • Functor (operator()가 정의된 객체)
  • 멤버 데이터 포인터도 지원

• 장점:

  • 호출 방식의 통일성
  • 멤버 함수 포인터 호출 시 문법의 단순화
  • 템플릿 코드에서 다양한 호출 가능 객체를 일관되게 처리

일반 함수 호출 방법

#include <functional>
#include <iostream>

int square(int x) {
    return x * x;
}

int main() {
    int result = std::invoke(square, 5);  // square(5)를 호출 -> 25
    std::cout << "square(5): " << result << "\\n";
    return 0;
}

멤버 함수 포인터 호출 방법

#include <functional>
#include <iostream>

struct Calculator {
    int add(int a, int b) const { return a + b; }
};

int main() {
    Calculator calc;
    // 멤버 함수 포인터 선언: Calculator의 const 멤버 함수 add를 가리킴
    int (Calculator::*addPtr)(int, int) const = &Calculator::add;
    
    // std::invoke를 사용하여 calc 객체의 add 함수를 호출
    int result = std::invoke(addPtr, calc, 3, 4);  // calc.add(3,4) 호출
    std::cout << "calc.add(3, 4): " << result << "\\n";
    return 0;
}

• 멤버 함수 포인터 호출 시, 첫 번째 인자로 객체(또는 포인터)를 전달해야 한다
  • std::invoke(addPtr, calc, 3, 4);
• 클래스가 두번째 인자에 오게된다.

객체 포인터

#include <functional>
#include <iostream>

struct Calculator {
    int add(int a, int b) const { return a + b; }
};

int main() {
    Calculator calc;
    Calculator* pCalc = &calc;
    
    int (Calculator::*addPtr)(int, int) const = &Calculator::add;
    
    // 객체 포인터를 이용해 호출: std::invoke가 내부적으로 pCalc->*addPtr 형태로 호출함.
    int result = std::invoke(addPtr, pCalc, 10, 20);
    std::cout << "pCalc->add(10, 20): " << result << "\\n";
    return 0;
}

• 객체 포인터로 callable 함수가 포함된 클래스를 넘겨 줄 수도 있다
  • std::invoke(addPtr, pCalc, 10, 20);

Lamda 함수 호출

#include <functional>
#include <iostream>

int main()
{
	auto lamda = [](int x, int y){ return x > y};
	
	int sum = std::invoke(lamda, 10 ,20);
	std::cout << "Lamda sum :" << sum << "\\n" ;
	return 0;

}