std::is_invocable est faux mais std::invoke fonctionne

Question

Le résultat du programme suivant semble se contredire :

#include <type_traits>
#include <iostream>
#include <functional>

void foo(int&){ std::cout << "called\n"; }

int main() {
    int a;
    foo(a);
    std::cout << std::is_invocable_v<decltype(foo), decltype(a)> << std::endl;
    std::invoke(foo, a);
}

La sortie est :

called
0
called

Ce qui me semble être l'invocation d'une fonction qui n'est pas invocable ? Qu'est-ce qui se passe ici ?

Answer 1

decltype(a) es int . Cela correspond à invoquer f avec un int prvalue -- quelque chose comme f(7) . Celui-ci ne compile en effet pas, parce qu'un non const La référence lvalue ne peut pas se lier à une prvalue.

Ce que vous faites à la place dans main appelle f avec un lvalue , a à laquelle la référence peut se lier sans problème.

Pour obtenir le résultat correct de std::is_invocable utiliser la forme d'expression de decltype en ajoutant des parenthèses :

std::is_invocable_v<decltype(foo), decltype((a))>
//                                          ^ ^