Início / user-27193077

Lipid L's questions

Martin Hope
Lipid L
Asked: 2024-11-15 16:05:27 +0800 CST
  • 9

Estou testando modelos e conceitos em C++. Escrevi o seguinte código.

#include <iostream>
#include <string>

template <typename T>
concept Printable = requires(T a) {
    { to_string(a) } -> std::same_as<std::string>;
};

typedef struct myStruct {
    std::string name;
} myStruct_t;

// Implement to_string for myStruct_t
std::string to_string(myStruct_t arg) {
    return arg.name;
}

// Implement to_string for int
std::string to_string(int arg) {
    return "it's an integer";
}

// a function that requires Printable
template <typename T>
requires Printable<T>
void show(T arg) {
    std::cout << to_string(arg) << std::endl;
}

int main(){
    myStruct_t a = {"hello"};
    show(a); // passes compilation
    show(5); // error: no matching function for call to ‘show(int)’
             // note: the required expression ‘to_string(a)’ is invalid
    return 0;
}

O compilador reconhece com sucesso que myStruct_tsatisfaz Printableo conceito, mas falha em corresponder intcom Printableo conceito. Gostaria de saber como posso informar ao compilador que o inttambém é Printable.

Pesquisei na internet e descobri que o compilador encontra a to_stringfunção necessária para Printableo conceito por meio de pesquisa dependente de argumento (ADL). Como intnão está sujeito a ADL, o compilador falha em reconhecer a função ao tentar fazer check- intin Printable. Gostaria de saber se não há como fazer int Printable.

c++