1

Разбираюсь с template-ми на c++. Написал небольшую функцию которая принимает, какой-то объект MyJSON* _value и в реализации сделал разбор в зависимости от типа содержимого что бы функция возращала его результат. Компилятор выдает ошибку Error 224 error C2440: 'return' : cannot convert from 'char *const ' to 'int' *_myjson.h

код template:

template<typename T> 
T get_value_from_json(const MyJSON* _value)
{
    if (_value->type == 1)
        return _value->valueint;

    if (_value->type == 2)    
        return _value->valuedouble;

    if (_value->type == 3) {   
        return _value->valuestring;
}

// ------------------------------------------------

// примерно что хотелось бы увидеть:
int a = get_value_from_json(json_value);

// если значения нет, то возврат значения nullptr
const char* str = get_value_from_json(json_value);

Может есть возможность через специализацию шаблона, указать какой именно тип следует обрабатывать компилятору с учетом LVALUE? Или как пример есть static_assert, может что то подобное можно реализовать для выбора какое условие для конкретного типа обрабатывать?

к сожалению не совсем разобрался как решать подобные вещи с помощью template-ов.

Спасибо за помощь!

6
  • 1
    Я не уверен, что темплейты Вам помогут сделать то ,что Вы сейчас пишете. Вы пытаетесь из одной функции вернуть результаты разных типов. Тип возвращаемого значения должен быть тот, которым специфицирован шаблон, тот тип, который будет подставлен вместо Т 28 ноя 2019 в 11:11
  • хорошо, а можно как то указать в зависимости от _value->type, что указанный тип Т будет int или const char* в зависимости от условия (на уровне реализации тела функции)? или подобные функции надо разбивать на две функции в зависимости от ожидаемого результата? Я так понял что если тип был бы double или int то компилятор собрал указанный текст..., а как быть есть ли тип const char* ?
    – microup
    28 ноя 2019 в 11:19
  • Если правильно понимаю, то никак. Вы в самом темплейте пишете три return с разными типами. Это некорректно. Вариант решения Вам уже предложил Chorkov 28 ноя 2019 в 11:26
  • Цель - которую хочу добиться, что бы внутренняя реализация template, могла через условия возращать и обрабатывать тот блок реализации внутри, исходя из типа LVALUE. Не знаю может есть какая то возможность реализовать это грамотно через std::is_integral<T> или что-то-то наподобие static_assert....
    – microup
    29 ноя 2019 в 5:30
  • Мне кажется, такое возможно на этапе компиляции, когда Вы инстанцируете шаблон определенным типом. Но не на этапе выполнения. 29 ноя 2019 в 5:32

2 ответа 2

2

Шаблоны здесь не нужны.

Функция может возвращать только значение конкретного типа. Можно эмулировать динамическую типизацию с помощью std::variant или std::any, но это не очень удобно.

Больше подойдет proxy-объект с несколькими операторами приведения типа. Примерно так:

class json_value_proxy
{
    const MyJSON* _value;
public:
    json_value_proxy(const MyJSON* value) : _value(value) {}

    operator int () const {
        if(_value==nullptr) 
            throw std::runtime_error("No value!");
        if (_value->type == 1) 
            return  _value->valueint;
        else
            throw std::runtime_error("Wrong type!");
    }
    operator double () const  { ... }
    operator const char* () const { ... }
};
json_value_proxy get_value_from_json(const MyJSON* _value) {
      return json_value_proxy(_value);
}

Следует отдельно обдумать политику поведения при несоответствии запрошенного типа и типа переданного в _value. Приведение типа, lexcal_cast или исключение? Эта политика совсем не очевидна из постановки задачи.

1
  • стараюсь разобраться, как можно все таки сделать через проверку типов на этапе компиляции, что бы компилятор понимал, какой if использовать в зависимости от LVALUE. За Ваш пример спасибо - отличный паттерн!
    – microup
    28 ноя 2019 в 18:15
0

Можно так, как вы написали, только вызывать надо соответствующим образом:

auto a = get_value_from_json<int>(json_value);

и так далее, меняя тип.

4
  • Это не скомпилируется. Как минимум, в функции будут нужны if constexpr, но судя по коду, их там быть не может.
    – Qwertiy
    28 ноя 2019 в 17:05
  • @Qwertiy если все ретурны приводимы к типу T, то всё должно скомпилироваться
    – user361569
    28 ноя 2019 в 17:07
  • Судя по вопросу там int, double и char*. Первые два - ладно, последний что-то я не уверен, что удастся без танцев с бубном привести к double.
    – Qwertiy
    28 ноя 2019 в 17:27
  • есть вызывать примерно как Вы написали auto a = get_value_from_json<int>(json_value);, то на строчке return _value->valuestring; компилятор будет ругаться что не может преобразовать const char* в int ... эх пробовал так в самом начале :-)
    – microup
    28 ноя 2019 в 17:49

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.