생성자 초기화 목록의 ADL

Question

생성자 초기화 목록에서 ADL을 활성화하려면 어떻게해야합니까? 예를 들어 의 네임 스페이스 수준이 abs 인 경우를 예로 들어 보겠습니다. 이제 생성자에 전달 된 인스턴스의 절대 값으로 멤버를 초기화하는 클래스 Foo을 작성하고 싶습니다. 그것은 사용하는 네임 스페이스 수준 abs 존재하는 경우와 그렇지 않은 경우 std::abs해야합니다

template<typename T> 
struct Foo 
{ 
    T _data; 

    Foo(T data): 
     _data(abs(data)) // I want find abs with ADL here 
    {} 
}; 

사용하여 선언은 어쨌든 클래스 범위에서 금지하고 나는 네임 스페이스를 "오염"싶지 않아요. 생성자 초기화 목록에서 ADL이 작동하도록하려면 어떻게해야합니까?

Answer 1

당신은 직접 initialiser 내에서이 문제를 해결할 수 있습니다 목록에서 람다 표현식을 사용하여 필요한 헬퍼 함수를 ​​인라인으로 작성할 수 있으며 헬퍼 함수는 using std::abs;을 포함 할 수 있습니다.

template<typename T> 
struct Foo 
{ 
    T _data; 

    Foo(T data): 
     _data([&](){ using std::abs; return abs(data); }()) 
    {} 
}; 

Answer 2

당신은 거기에 ocurr하는 ADL을 무료 또는 static 지역 도우미 함수를 생성 할 수 있습니다 :

이

template <typename T> 
struct Foo 
{ 
    T _data; 

    Foo(T data): 
     _data(abs(data)) 
    {} 

    template <typename X> 
    using delete_reference = typename std::remove_reference<X>::type; 

    template <typename U> 
    static delete_reference<U> abs(U&& x) 
    { 
     using std::abs; 
     return abs(std::forward<U>(x)); 
    } 
}; 

Answer 3

사용이 도우미 함수 :

namespace detail 
{ 
    template <typename Arg> 
    auto invoke_abs(Arg&& arg) 
    { 
     using std::abs; 
     return abs(std::forward<Arg>(arg)); 
    } 
} 

Foo(T data) 
    : _data{detail::invoke_abs(std::forward<T>(data))} 
{ }