initializer_list и зависимый от аргумента поиск

Question

Я пытаюсь использовать std :: initializer_list в качестве аргумента в функции, использующей зависящий от аргумента поиск (ADL). Но я не работаю, и я не понимаю, почему. Ниже приведен пример минимального отказа:

#include <initializer_list> 
    #include <iostream> 

    class Foo { 
    public: 
     inline friend void bar(std::initializer_list<Foo> v) { 
     std::cout << "size = " << v.size() << std::endl; 
     } 
    }; 

    void baz(std::initializer_list<Foo> v) { 
     std::cout << "size = " << v.size() << std::endl; 
    } 

    int main(){ 
     Foo a; 
     //bar({a,a}); // error: use of undeclared identifier 'bar' 
     baz({a,a}); // works 

     return 0; 
    } 

Как видно выше, эквивалентная глобальная функция работает нормально. Почему вышеуказанное не работает?

Я использую clang для OS X 10.10.

Answer 1

Я считаю, что проблема заключается в том, что подвыражения { a, a } действительно не имеет тип, и как таковой он не ассоциировали типов или пространств имен, которые в свою очередь, означает, что ADL не пинать. Если у вас есть функции в глобальном пространстве имен, нормальный поиск найдет его, и он найдет, что { a, a } может соответствовать вызову функции в качестве инициализатора для std::initializer_list<Foo>.

Синтаксис { a, a } называется приготовился-INIT-лист и это на самом деле не является выражением (или подвыражения) на языке.

Answer 2

Когда компилятор видит bar({a,a}), он не знает тип аргументов, поэтому он ищет bar в глобальном пространстве имен (::), и нигде больше. Если вы изменили эту строку на Foo{a,a}, то она знает, что аргумент равен Foo, а также ищет класс Foo для функций.