Nano Hash - криптовалюты, майнинг, программирование

Как компилятор управляет встроенной функцией возврата?

Скажем, у меня есть встроенная функция, такая как эта:

inline double CalculateValue() {
    // some condition
    if (true) {
        // some other condition
        if (true) {
            // another condition
            if (true) {
                return 1.0;
            }

            // somethings
            std::cout << "inside1" << std::endl;
        }

        // somethings
        std::cout << "inside2" << std::endl;
    }

    return 2.0;
}

void Process() {
    double value = CalculateValue();

    value *= 100.0;

    std::cout << value << std::endl;
}

int main ()
{
    Process();
}

Он «скопирует и вставит» функцию CalculateValue() в функцию Process(). Результат 100, как и ожидалось.

Но если я попытаюсь подражать тому, как будет выполняться это "копирование и вставка", что-то я не понимаю:

void Process() {
    double value;

    // some condition
    if (true) {
        // some other condition
        if (true) {
            // another condition
            if (true) {
                value = 1.0;
                return;
            }

            // somethings
            std::cout << "inside1" << std::endl;
        }

        // somethings
        std::cout << "inside2" << std::endl;
    }

    value = 2.0; 

    value *= 100.0;

    std::cout << value << std::endl;
}

int main ()
{
    Process();
}

Конечно, когда он достигает оператора return, остальную часть функции следует игнорировать (т. е. inside1 и inside2 никогда нельзя печатать), поскольку return. Но если я return из родительской функции (Process()), она немедленно возвращается, поэтому я никогда не увижу 100.

Это означает, что он делает это по-другому.

Как компилятор справляется с этой ситуацией? Я пытался создать блок кода, но return все равно возвращается к основной функции...

c++ function inline compiler-construction
02.03.2017

  • компилятор, очевидно, не использует return, я не знаю точно, какой из них используется, но есть много других вариантов, таких как while(1) { ... break; } или даже goto, или еще какие-то непонятные шаги с результирующим asm 02.03.2017
  • inline не меняет семантику вызова функции, только его связь. 02.03.2017

Ответы:


1

При написании вашей «эмуляции» вы забыли обработать один из return. Во встроенной функции компилятор заменит ее оператором goto.

void Process() {
    double value;

    // begin of inlined function

    // some condition
    if (true) {
        // some other condition
        if (true) {
            // another condition
            if (true) {
                value = 1.0;
                goto next;     // <<<<<<<<<<<<<<<<<<<  return replaced by goto
            }

            // somethings
            std::cout << "inside1" << std::endl;
        }

        // somethings
        std::cout << "inside2" << std::endl;
    }

    value = 2.0; 
 next:   
    //end of inlined function

    value *= 100.0;

    std::cout << value << std::endl;
}
02.03.2017
  • Разве goto не зло для программирования? :) 02.03.2017
  • Как вы думаете, что стоит за сценой if-then-else? goto не плох сам по себе (как нож), только его использование может быть хорошим или плохим. 02.03.2017
  • Комментарий @Jean-BaptisteYunès paizza, вероятно, был ироничным. 02.03.2017
  • Я был ироничен :) Спасибо за уточнение! 02.03.2017

    • 2

    В этом случае встроенный код будет обрабатывать return больше как goto, например:

    void Process() {
    double value;

    // some condition
    if (true) {
        // some other condition
        if (true) {
            // another condition
            if (true) {
                value = 1.0;
                goto nextStep;
            }

            // somethings
            std::cout << "inside1" << std::endl;
        }

        // somethings
        std::cout << "inside2" << std::endl;
    }

    value = 2.0; 

nextStep:

    value *= 100.0;

    std::cout << value << std::endl;
}

    Процесс встраивания — это больше, чем просто «копировать и вставить», результирующий код должен иметь смысл в коде, в который он внедряется. Компилятор может изменять и оптимизировать встроенный код по мере необходимости, сохраняя при этом семантику исходного кода.

    02.03.2017
    Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..