Подтвердить что ты не робот

Неправильный результат, когда std:: for_each вызывается в функции шаблона

тестовый код:

template<typename T>
void test() {
    T container { 1, 2, 3 };

    std::for_each(container.begin(), container.end(), [](int v) {
        cout<<"1st for_each"<<endl; 
    });

    cout<<"xxxxxx"<<endl;
    std::for_each(container.begin(), container.end(), [](typename T::value_type v) { 
        cout<<"2nd for_each"<<endl;
    });
}


int main() {
    test<vector<int>>();
    return 0;
}

Обратите внимание, что я использую int i и typename T::value_type v типы параметров в разных lambdas.
compile cmd: clang++ -std=c++11 -stdlib=libc++ test.cpp -o test

clang version 3.1 (branch/release_31) Цель: i386-pc-linux-gnu Модель темы: posix

результат:

2nd for_each  
2nd for_each  
2nd for_each  
xxxxxx  
2nd for_each  
2nd for_each  
2nd for_each 

Проблема в следующем: зачем сначала for_each распечатывать "2nd for_each"?

Изменить: это может быть ошибка clang++.
@KennyTM дал аналогичный более простой код:

#include <iostream>
using namespace std;

template<typename T> 
void test() {
    ([](int v) { printf("1\n"); })(3); 
    ([](T v) { printf("2\n"); })(4);
}

int main() { 
    test<int>();
    return 0;
}

Результат:
1
1

4b9b3361

Ответ 1

Это ошибка Clang и была исправлена ​​r160614. Строка Clang дает желаемый результат:

$ echo '
#include <cstdio>
template<typename T>
void test() {
    ([](int) { puts("int"); })(0);
    ([](double) { puts("double"); })(0);
    ([](T) { puts("T"); })(0);
}

int main() { test<int>(); test<double>(); }
' | ./build/bin/clang -x c++ -std=c++11 -
$ ./a.out
int
double
T
int
double
T

Подробнее см. PR12917 и PR13849.