Bind 는 임의의 함수 포인터나 함수에 국한되지 않고, 함수 객체도 bind 할 수 있게 해 준다. 이 함수 객체를 바인드 할 경우 operator() 의 리턴 타입을 명시적으로 bind 함수에 알려 줘야 한다.

이 처럼 bind<Return-type>(...) 을 지정해 주어야 bind 함수는 객체를 생성 할 수 있게 된다. 여기서 유심히 봐야 할 부분은 F::operator() 에 2개의 오버로드된 함수가 있는데, 이때 바인드시 전달되는 x의 타입으로 결정 되어 진다.

일반적인 함수 오버로딩과 똑같다고 생각하면 쉽게 이해가 된다.

만약, 위의 코드가 컴파일시 문제가 된다면, 아래와 같은 방법으로 컴파일 해야 할 것이다. 왜냐하면, 컴파일 마다 템플릿 구문 해석기의 구문 해석이 다르기 때문이다.

이제 함수 객체를 bind 시키는 방법을 알아 보았다면, 여기서 한가지 더 알린다면, 그 함수 객체에 result_type 이 정의 되어 있다면, 이 반환 타입을 무시할 수 있다. 예를 들자면 less<T>() 함수 객체의 경우 내부에 result_type 이 bool 로 정의 되어 있다.

이렇게 이야기 하면 .. 햇갈리니 코드를 보자.

하지만, 이 result_type 이 있다고 해서 모든 컴파일러가 되는 것은 아니기 때문에, 알아 두길 바란다.


여기서 bind 가 함수 객체를 받아 들였다면, 이 함수 객체를 "복사" 해서 내부적으로 가지고 있고, 그것을 사용 하게 된다. 이 때, 이 복사 하는 비용이나, 특별히 상태를 갖어야 하는 함수 객체라면, boost::ref(x) 이나 boost::cref(x) 로 전달 하는것이 좋을 것이다.

이 경우, 특별히 주의 해야 할 것은, 레퍼런스 copy가 이루어 지기 때문에, 이 사실을 필히 알고 있어야 한다.(내부적으로 상태가 변한다. 또한 임시 객체의 경우, 그 소멸시점에 대해 정확히 꾀차고 있어야 한다.)


예제


총평

함수 객체의 경우, 함수의 리턴값을 정해줘야 한다는 사실과, result_type을 제공한다면, 생략될 수 있다는 것을 보고 boost::mem_fn 이나, stl 객체 함수를 사용 한다면, 그냥 들어 가겠다 싶다. 역시 boost. 완전 사랑해


  • 네이버 블러그 공유하기
  • 네이버 밴드에 공유하기
  • 페이스북 공유하기
  • 라이프코리아트위터 공유하기
  • shared
  • 카카오스토리 공유하기