Блог

Я знаю, что не могу использовать пространство имен в качестве параметра шаблона. Тем не менее, я пытаюсь добиться поведения, подобного этому:

 template <typename T>
void foo(T::X* x)
{
    T::bar(x);
}
  

За исключением того, что T является пространством имен, а не структурой или классом. Каков наилучший способ добиться наиболее похожего результата на то, что я ожидаю?

За исключением того, что T является пространством имен, а не структурой или классом. Каков наилучший способ добиться наиболее похожего результата на то, что я ожидаю?

Вообще не упоминайте T .

 template <typename X>
void foo(X* x)
{
    bar(x);
}
  

ADL всегда будет реагировать на перегрузки из пространства имен, в котором X оно определено. Позвольте механизму выполнять свою работу.

Теперь, если вы спрашиваете, как заставить компилятор использовать функции, найденные ADL, все дело в управлении разрешением перегрузки. Мы можем сделать это, ограничив то, что получает обычный поиск по неквалифицированному имени:

 namespace foo_detail {
    void bar(...);
    template<typename X>
    void foo_impl(X* x) {
        bar(x);
    }
}

template <typename X>
void foo(X* x)
{
    foo_detail::foo_impl(x);
}
  

Когда вызов foo_detail::foo_impl пытается разрешить bar , первая фаза двухфазного поиска получит функцию аргумента переменной C. Теперь поиск останавливается, никакие дополнительные пространства имен не будут просматриваться. Это означает, что только ADL может предложить больше кандидатов. И из-за того, как работает разрешение перегрузки, функция аргумента переменной в стиле C, подобная добавленной нами, будет хуже, чем все, что найдет ADL.

Вот живой пример того, как все это работает.

Пространство имен не может быть параметром шаблона. Единственными возможными параметрами шаблона являются:

• типы
• и значения, которые являются: Параметры шаблона и аргументы шаблона — cppreference.com

• std::nullptr_t (начиная с C 11);
• интегральный тип;
• тип указателя (на объект или на функцию);
• указатель на тип члена (на объект-член или на функцию-член);
• тип перечисления.

Поэтому, если вы хотите изменить bar версию в зависимости от пространства имен, это нельзя сделать так, как вы предложили.
Это может быть достигнуто, если bar вложено в класс как статическая функция. В таком случае вы можете использовать свой шаблон, тогда этот класс станет параметром шаблона.

Таким образом, ваш код может выглядеть следующим образом:

 class Variant1 {
public:
    typedef int* argType;

    static void bar(argType i) {
        std::cout << (*i   1);
    }
};
class Variant2 {
public:
    typedef size_t* argType;

    static void bar(argType i) {
        std::cout << (*i - 1);
    }
};

template <typename T>
void foo(typename T::argType x)
{
    T::bar(x);
}

//usage
size_t a = 1;
int x = 1;

foo<Variant1>(amp;a);
foo<Variant2>(amp;b);