Возращение из функции тип template?

Question

[avion]

Почему такой код не компилируются?

#include <iostream>
#include <string>

template<class T>
T func(T x, unsigned int y) {
    if (std::is_same<T, std::string>::value) {
       std::string str = x;
        for (int i = 0; i < y; ++i)
            str += x;
        return str;
    } else {
        return (x * y);
    }
}

int main() {
    std::string str = "lol";
    func(2, 2);
    return 0;
}

Ошибка:
error: no viable conversion from 'int' to 'std::string' (aka 'basic_string, allocator >')
std::string str = x;

Comments

[Евгений Шатунов]

Данил , что значит не компилируется?
Покажи листинг ошибок при компиляции.

Ошибка, к слову, у тебя на лицо. Да не одна при том. Но мы начнем с самого начала чтобы тебе стало понятно как такие ошибки решать самостоятельно.

[Roman]

Яваскрипт какой-то

[avion]

Евгений Шатунов, я понимаю, что происходит ошибки при возращении, почему T не может возвращать string или числа в одной функции? Я же использовал условие

[avion]

Roman, в каком смысле?

[Roman]

Данил,

int func(int x, unsigned int y) {
    if (false) {
       std::string str = x;
        for (int i = 0; i < y; ++i)
            str += x;
        return str;
    } else {
        return (x * y);
    }
}

int main() {
    std::string str = "lol";
    func(2, 2);
    return 0;
}

[Евгений Шатунов]

Данил, вижу листинг ошибки.
Там вместе с листингом есть указание, на какой строчке и в какой позиции строчки произошла ошибка.
Это строчка: std::string str = x;.
Ты ведь понимаешь что компиляция пошла внутрь блока под if (std::is_same<T, std::string>::value)?
Как ты думаешь, почему это произошло?

[avion]

/Users/danielkopetskiy/CLionProjects/untitled97/main.cpp:7:20: error: no viable conversion from 'int' to 'std::string' (aka 'basic_string<char, char_traits<char>, allocator<char> >')
       std::string str = x;
                   ^     ~
/Users/danielkopetskiy/CLionProjects/untitled97/main.cpp:18:5: note: in instantiation of function template specialization 'func<int>' requested here
    func(2, 2);
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/string:799:5: note: candidate constructor not viable: no known conversion from 'int' to 'const std::__1::basic_string<char> &' for 1st argument
    basic_string(const basic_string& __str);
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/string:804:5: note: candidate constructor not viable: no known conversion from 'int' to 'std::__1::basic_string<char> &&' for 1st argument
    basic_string(basic_string&& __str)
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/string:817:5: note: candidate constructor template not viable: no known conversion from 'int' to 'const char *' for 1st argument
    basic_string(const _CharT* __s) {
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/string:867:5: note: candidate constructor not viable: no known conversion from 'int' to 'initializer_list<char>' for 1st argument
    basic_string(initializer_list<_CharT> __il);
    ^

[avion]

Евгений Шатунов, да я понимаю, что условие не сработало

[avion]

Евгений Шатунов, T должен был получить int и по is_same() не входить в блок

[Евгений Шатунов]

Данил, условие не просто не сработало. Инстанцирование шаблона требует генерации всех ветвей кода. Твой if (std::is_same<T, std::string>::value) будет всегда приводить к ошибкам, кроме случая когда T это std::string или какой-нибудь тип с неявным преобразованием к std::string.
Выходов для твоего случая, чтобы компилятор делал именно то, что тебе надо, у тебя всего три. Твой вопрос повторят один из уже заданных.
В твоем случае все точно так же. Или ты используешь C++17, или частичную специализацию, или SFINAE. Только в этих случаях компилятор сделает то, что тебе надо.

Answer 1

[Александр Ананьев]

Потому что тут std::string str = x у тебя происходит присвоение строке целого числа.

Comments

[avion]

ну у нас же есть условие, и по нему мы не зайдем в std::string str = x

[Александр Ананьев]

Данил, это условие, по вашему, должно отрабатывать в compile-time или в runtime?