EP>>>То есть ещё раз, код C# чисто по построению намного труднее оптимизировать — для оптимизаций до уровней аналогичных C++ нужно либо язык модифицировать, либо делать оптимизаторы намного более мощные чем оптимизаторы C++

S>> T foo<T>(Func<T> f)
S>>  {
S>>  return f();
S>>  }
S>>

S>>template<typename F>
S>>auto foo(F f)
S>>{
S>>    return f();
S>>}
S>>

EP>class AbstractF 
EP>{
EP>public:
EP>    virtual int virtual_call() = 0;
EP>};

EP>int foo(AbstractF *f)
EP>{
EP>    return f->virtual_call();
EP>}
EP>

EP>struct ConcreteF 
EP>{
EP>    int x;
EP>    int concrete_call()
EP>    {
EP>        return x;
EP>    }
EP>};

EP>int foo(ConcreteF f)
EP>{
EP>    return f.concrete_call();
EP>}
EP>

class ConcreteF
{
  int x;
  int callee() { return x;}
}
var cf = new ConcreteF(0);
return cf.callee();

S>class ConcreteF
S>{
S>  int x;
S>  int callee() { return x;}
S>}
S>var cf = new ConcreteF(0);
S>return cf.callee();
S>

class ConcreteF
{
  int x;
  int callee() { return x;}
}
Func<...> cf = new ConcreteF(0);
return cf.callee();

EP>>Точно также как и ценность других defensive примочек, а-ля bounds checking

Conditional methods allow developers to create methods whose calls can be placed in the code and then either included or omitted during compilation based on a preprocessing symbol.

EP>>В чём ты видишь отличие? Выход за пределы bounds это есть логическая ошибка, которой в корректном коде нет

EP>>>>То есть ещё раз, код C# чисто по построению намного труднее оптимизировать — для оптимизаций до уровней аналогичных C++ нужно либо язык модифицировать, либо делать оптимизаторы намного более мощные чем оптимизаторы C++

EP>>Именно язык тут и при чём. Если писать на C++ в стиле C# — динамические замыкания, динамический IEnumerable, множество индерекций по памяти — то получим примерно такие же тормоза

EP>>Можно взять этот JS выхлоп и перевести на C# — и он там тоже будет работать быстро, несмотря ни на какой IL

C++ быстрый не от того что нативный, а от того что даёт бесплатные, либо крайне дешёвые абстракции.
Если на C#/Java писать код без абстракций, то по скорости он будет близок к аналогу на C++ — но такого кода будет намного больше

template<typename RandomAccessIterator, typename BinaryPredicate>
void sort(RandomAccessIterator m, unsigned n, BinaryPredicate p)

void Sort(IList<T> m, Comparison<T> comparison)

var xs = new[] { 1, 2, 3 };
var s = 0;
foreach (var item in xs)
{
    s += item;    
}

            var s = 0;
019A34D5  xor         esi,esi  
            foreach (var item in xs)
019A34D7  xor         ecx,ecx  
019A34D9  mov         edi,dword ptr [edx+4]  
019A34DC  test        edi,edi  
019A34DE  jle         019A34EB  

            foreach (var item in xs)
019A34E0  mov         eax,dword ptr [edx+ecx*4+8]  
            {
                s += item;    
019A34E4  add         esi,eax  
019A34E6  inc         ecx  
            foreach (var item in xs)
019A34E7  cmp         edi,ecx  
019A34E9  jg          019A34E0  
            }

template<unsigned SIZE> void size_is();

template<typename F>
auto foo(F f)
{
    size_is<sizeof(F)>();
    return f();
}

int main()
{
    auto x = 0, y = 1;
    foo([=]{ return x; });
    foo([=]{ return x + y; });
}

/tmp/cclb4DzB.o: In function `_Z3fooIZ4mainEUlvE_EDaT_':
main.cpp:(.text+0x1c): undefined reference to `void size_is<4u>()'
/tmp/cclb4DzB.o: In function `_Z3fooIZ4mainEUlvE0_EDaT_':
main.cpp:(.text+0x54): undefined reference to `void size_is<8u>()'
collect2: error: ld returned 1 exit status

EP>>>>>>Виртуальный вызов и прочее можно соптимизировать, но это очевидно более сложная задача чем заинлайнить простой вызов конкретного метода

EP>>И всё таки ты читать не умеешь "более сложная"

EP>>>>>>Виртуальный вызов и прочее можно соптимизировать, но это очевидно более сложная задача чем заинлайнить простой вызов конкретного метода

EP>>>>В любом случае это будет медленная динамическая хрень, против обычного вызова невиртуальной функции. И эту хрень намного тяжелее оптимизировать, простым преобразования C# -> C++ не отделаешься