2

Estoy probando la funcionalidad de conceptos de C++20 con el siguiente concepto:

template <typename T, typename ... P>
concept bool es_llamable()
{
    return requires(T &t, P ... p)
    {
        { t(p ...) } -> void;
    };
}

Funciona correctamente cuando se evalúa el concepto sobre una función sin parámetros:

void f() {}
void g(int) {}

void d(es_llamable &) { std::cout << __PRETTY_FUNCTION__ << '\n'; }

int main()
{
    d(f); // muestra 'void d(auto:1&) [with auto:1 = void()]'
    return 0;
}

Pero no consigo que funcione sobre una función con parámetros:

int main()
{
    d(f);
    d(g); // Error
    return 0;
}

El error es el siguiente:

error: cannot call function 'void d(auto:1&) [with auto:1 = void(int)]'
     d(g);
        ^
note:   constraints not satisfied
     void d(es_llamable &) { std::cout << __PRETTY_FUNCTION__ << '\n'; }
          ^
note: within 'template<class T, class ... P> concept bool es_llamable() [with T = void(int); P = {}]'
    concept bool es_llamable()
                 ^~~~~~~~~~~
note:     with 'void (& t)(int)'
note: the required expression 't(p ...)' would be ill-formed

Indica que la expresión requerida por el concepto no estaría bien formada. Deduzco que es porque el compilador no deduce con qué argumentos será llamada g. Así que entiendo que debe ser proveído:

template <typename T, typename ... P>
void d(es_llamable<T, P ...> &) { … }

Pero este cambio no funciona, además rompe la simplicidad del concepto (haciendo menos atractivo su uso). Cambiando el parámetro y la posición del concepto tampoco funciona:

template <typename T, typename ... P>
void d(T &) requires es_llamable<T, P ...>() { … }

¿De qué manera debo construir y usar un concepto que compruebe si un parámetro recibido es un objeto que puede ser llamado como una función que devuelve void y recibe parámetros arbitrarios?

2
  • El parámetro "P" parece estar de adorno ya que el error dice P = {}
    – Mateo
    Commented el 21 oct. a las 18:29
  • @Mateo y ese es precisamente el problema que indico en la pregunta: "Deduzco que es porque el compilador no deduce con qué argumentos será llamada g". Commented el 22 oct. a las 11:24

0

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

Examina otras preguntas con la etiqueta o formula tu propia pregunta.