оператор преобразования с функциями шаблона

Question

У меня есть класс с оператором преобразования до std::string. Он отлично работает со всем, кроме функций, получающих std::basic_string<T> (с шаблоном на T).

#include <string> 
struct A{ 
    operator std::string(){return std::string();} 
}; 

void F(const std::basic_string<char> &){} 
template<typename T> void G(const std::basic_string<T> &) {} 

int main(){ 
    A a; 
    F(a); // Works! 
    G(a); // Error! 
    return 0; // because otherwise I'll get a lot of comments :) 
} 

Ошибка я получаю это

error: no matching function for call to 'G(A&)'          
note: candidate is: 
note: template<class T> void G(const std::basic_string<_CharT>&) 

Теперь я знаю, что может определить G как друга в структурах A, и он будет работать, но моя проблема с большим количеством функций СТЛИ которые уже существует и получать std::basic_string<T> (например, функция operator<< печати, или оператор сравнения, или многие другие функции.

Я бы очень хотел, чтобы иметь возможность использовать A, как если бы это было std::string. Есть какой-либо способ сделать это?

Answer 1

Я действительно хотел бы быть в состоянии использовать, как если бы это был std::string. Есть какой-либо способ сделать это?

Да, но вы уверены, что действительно хотите этого? Решение:

struct A : public std::string { 
}; 

, но помните, что std::string не имеет virtual деструктор и, следовательно, не могут быть использованы полиморфно. Вы были предупреждены !!!

А str() является гораздо лучшим решением и позволяет быть явным, когда вы хотите передать ваши A к функции принятия std::basic_string<T>.

Answer 2

Компилятор не может сделать так далеко; вы либо должны явно вызвать оператор приведения или Явно указать параметр шаблона:

G(static_cast<std::string>(a)); 
G<char>(a); 

Чтобы понять, почему компилятор не может сделать и определяемые пользователем преобразования и аргумент шаблона вывод, давайте рассмотрим следующий пример:

template<typename T> 
struct Number { 
    Number(double n) {}; 
    Number(int n) {}; 
}; 

struct A{ 
    operator Number<double>(){return Number<double>(1.);} 
    operator Number<int>(){return Number<int>(1);} 
}; 

template<typename T> void G(Number<T>& number) { } 

int main(){ 
    A a; 
    G(a); // What do I do ?! 
    return 0; 
} 

Что должен делать компилятор в этом случае?

Answer 3

Определения, определенные пользователем, не принимаются во внимание при выводе аргумента шаблона.

Явная специализация G будет работать.

G<char>(a);