Быстрее ли вывов функции, переданной через параметр шаблона, чем через простой указатель на функцию?

@relationer · Регистрация: 07.11.2013

Author24 — интернет-сервис помощи студентам

Здравствуйте!

Есть два варианта передачи некоторой переменной типа "указатель на функцию" в класс - через параметр шаблона и просто с помощью конструктора с сохранением в const-поле. Указатель на функцию не будет меняться.

Вопрос: при каком варианте развития событий вызов функции будет быстрее? Сможет ли компилятор со знанием неизменяемости данных оптимизировать процесс таким образом, чтобы добиться минимального overhead?

@Perfilov · 29.04.2015, 00:21

вы под аргументов шаблона имеете ввиду агрумент, не являющийся типом? если так, то в этом случае становятся доступны кое-какие оптимизации.
если мембер - то чтобы обратится к нему, нужно смещаться относительно this, ведь для каждого инстанса он может быть свой и компилятор обязан генерить код для доступа к такому мемберу. для шаблона такого не надо. для всех инстансов указатель на функцию один и тот же. кроме этого, какой-нибудь хитрый оптимизатор вместо вызова через указатель может попробовать заинлайнить вызов, если посчитает нужным (имхо

).

@hoggy · 29.04.2015, 00:27

рассмотрим примеры:

http://rextester.com/QIVZ43446

C++

//Title of this code
//g++  4.9.1
 
#include <iostream>
#include <type_traits>
 
void foo(){ std::cout<<"foo\n"; }
 
template<class F, F f> struct launcher
{
    static auto execute() -> typename std::result_of<F()>::type
    {
        return f();
    }
};
 
template<class F> struct executer
{
    executer(F f):mFunc(f){}
    
    auto execute()const -> typename std::result_of<F()>::type
    {
        return mFunc();
    }
    F mFunc;
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    launcher<decltype(&foo), foo>::execute();
    
    executer<decltype(&foo)> exe(foo);
    exe.execute();
}

в первом случае размер объекта получается меньше
(не нужно хранить член данных под указатель на функцию).
для запуска можно задействовать статическую функцию член.
и это - 100% inline подстановка.
то бишь никаких накладных расходов в рантайме.

во втором случае размер объекта становится больше,
нужно сохранять указатель на функцию в член данных.
соответственно, не получится сделать статическую функцию-член для запуска.

однако, сам вызов функции по указателю,
в релизе современные компиляторы научились оптимизировать,
выполняя inline подстановку вызова так же, как и в первом шаблоне.

@Perfilov · 29.04.2015, 00:44

врятли во втором случае inline подстановку они будут делать. значение mFunc во время выполнения только известно. для каждого инстанса эти значения могут быть разные. только сверх простые примеры, когда оптимизатор прошарил весь код и понял, что используется одна и та же функция - только тогда. сомневаюсь что они так делают.

Быстрее ли вывов функции, переданной через параметр шаблона, чем через простой указатель на функцию?

Решение

Решение

@relationer 33 / 0 / 0 Регистрация: 07.11.2013 Сообщений: 118
		1
	Быстрее ли вывов функции, переданной через параметр шаблона, чем через простой указатель на функцию? 29.04.2015, 00:04. Показов 1422. Ответов 3 Метки нет (Все метки) Здравствуйте! Есть два варианта передачи некоторой переменной типа "указатель на функцию" в класс - через параметр шаблона и просто с помощью конструктора с сохранением в const-поле. Указатель на функцию не будет меняться. Вопрос: при каком варианте развития событий вызов функции будет быстрее? Сможет ли компилятор со знанием неизменяемости данных оптимизировать процесс таким образом, чтобы добиться минимального overhead? 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	29.04.2015, 00:21	2
	Сообщение было отмечено relationer как решение Решение вы под аргументов шаблона имеете ввиду агрумент, не являющийся типом? если так, то в этом случае становятся доступны кое-какие оптимизации. если мембер - то чтобы обратится к нему, нужно смещаться относительно this, ведь для каждого инстанса он может быть свой и компилятор обязан генерить код для доступа к такому мемберу. для шаблона такого не надо. для всех инстансов указатель на функцию один и тот же. кроме этого, какой-нибудь хитрый оптимизатор вместо вызова через указатель может попробовать заинлайнить вызов, если посчитает нужным (имхо ). 1

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	29.04.2015, 00:44	4
	врятли во втором случае inline подстановку они будут делать. значение mFunc во время выполнения только известно. для каждого инстанса эти значения могут быть разные. только сверх простые примеры, когда оптимизатор прошарил весь код и понял, что используется одна и та же функция - только тогда. сомневаюсь что они так делают. 1