次のタグが付いている話題の回答:

2
Accepted

llvm 14.0.0 libcxx <memory>内に、実体化させる方法が分からない関数テンプレートがあります

LLVM のコードは見るのは大変なので単純化されたものについてしか見れてないのですが、出来ないと考えて良いと思います。 f の型引数 T が std::is_integral の性質に適うとき type は void に展開されます。 非型テンプレートで使えるのは整数やポインタなどに制限されていて void が現れることは出来ませんし、 void に対応する値は存在しないので SFINAE ...
齊藤敦志's user avatar
  • 1,153

Only top scored, non community-wiki answers of a minimum length are eligible