template lambdaのstd::bind, std::invoke方法

Question

実現したいこと

constexpr auto lambda = []<class T>() { return sizeof(T); };
constexpr auto binder = std::bind(lambda);
constexpr auto temp = std::invoke(binder);

テンプレートラムダ式を上記のような感じで呼び出したいのですが、可能でしょうか？

試したこと

constexpr auto lambda = [](auto obj) { return sizeof(obj); };
constexpr auto binder = std::bind(lambda, std::placeholders::_1);
constexpr auto temp = std::invoke(binder, 0);

auto型は↑で呼び出しが出来ました。

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

Visual Studio 2022 17.3.3
c++lasted

Answer 1

質問中で言う「上記のような感じ」というのがどのような範囲までのことを言っているのかわかりませんが、この書き方のどこに型引数を追加すればよいかという質問であるという前提で解説します。

結論から申し上げると、出来ません。

---

まず、ラムダ式はある種の構文糖であることを思い出す必要があります。

[]<class T>() { return sizeof(T); };

というラムダ式があった場合、

struct F {
	template<class T> std::size_t operator()() const { return sizeof(T); }
};

といったような定義が暗黙にされたかのようになり、その上で

F()

という式が呼び出されたのと同じような挙動になります。

ここで重要なのは、クラスはテンプレートではなくメンバ関数がテンプレートであるということです。 ですから、ラムダ式 (が生成する関数オブジェクト) に対して型引数を与えるとしたらこう書く必要があります。

constexpr auto lambda = []<class T>() { return sizeof(T); };
constexpr auto temp = lambda.operator()<int>();

operator() を露骨に呼び出すのはいかにも不格好ですが std::bind も std::invoke もこういう状況に対応していないので直接的に書くか、適当にラッピングする関数をあなたが書くしか仕方がありません。

Comments

[Arle]

反応が遅れ申し訳ございません。
ご教授いただきありがとうございます。