C++ ローカル関数の引数にnewが記述されているコードの挙動を教えてください

質問内容

汎用ファンクタの実装について「Modern C++ Design」という書籍のライブラリを参考に勉強していたところ理解できないコードに当たりました。
そのコードに関しての質問です。

ローカル関数を汎用ファンクタの引数として渡しているコードなのですが、
ローカル関数の引数に(new インスタンス名)と宣言だけされたものを渡していました。

この宣言だけされた関数を渡した場合の挙動をご教授願います。

該当のソースコード

   
    template <class Fctor>
    typename Private::BinderFirstTraits<Fctor>::BoundFunctorType 
    BindFirst
    (
        const Fctor&            fun,
        typename Fctor::Parm1   bound
    ){
        // 汎用ファンクタ
        typedef typename Private::BinderFirstTraits<Fctor>::BoundFunctorType
            Outgoing; 

        //
        // auto_ptr tricks
        // 以下の動きが分かりません
        std::auto_ptr<typename Outgoing::Impl> apParam
        (
            new BinderFirst<Fctor>(fun, bound)
        );
        

        return Outgoing(apParam);
    }

試したこと

ここに問題に対して試したことを記載してください。

補足情報（FW/ツールのバージョンなど）

Visual Studio 2017

行動規範の内容に同意します

回答1件

ベストアンサー

こんにちは。

ローカル関数を汎用ファンクタの引数として渡しているコード

C++にはローカル関数はないですよ。
ラムダ式がローカル関数的な機能を持ちますが、ラムダ式は名前無しファンクタですから関数ではありません。

std::auto_ptrの部分は、std::auto_ptr<typename Outgoing::Impl>型のローカル変数 apParam を定義し、そのコンストラクタに new BinderFirst<Fctor>(fun, bound)で生成したBinderFirst<Fctor>オブジェクトを渡しています。

投稿2018/08/05 11:23