Специализация шаблона вне встроенного пространства имен функции, определенной внутри встроенного пространства имен

Допустимо ли в C++ выполнять шаблонную специализацию функции внутри встроенного пространства имен в пространстве за пределами встроенного пространства имен?

Например, будет ли это скомпилироваться?

namespace A
{
    inline namespace A0
    {
        namespace B
        {
            template<typename T>
            T sum(T v1, T v2)
            {
                return v1 + v2;
            }
        }
    }
}

namespace A
{
    namespace B
    {
        template<>
        float sum<float>(float v1, float v2)
        {
            return v1 - v2; // Do something different
        }
    }
}

В настоящее время этот код компилируется с g++ 13.02, но не с MSVC 19.40 для c++17.

Встроенные пространства имен на самом деле были разработаны для обеспечения такого рода вещей: идея состоит в том, что автор пространства имен A может переключать подпространство имен, которое является встроенным, в то время как клиенты могут продолжать специализировать шаблоны, которые объявлены в одном из подподпространств имен, не подвергаясь воздействию этого выбора. .

Brian Bi 12.06.2024 01:57
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
1
62
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

https://eel.is/c++draft/namespace.def.general#2:

В определении именованного пространства имен D идентификатором является имя пространства имен. Идентификатор ищется путем его поиска в областях пространства имен A, в котором появляется D, и каждого элемента встроенного набора пространств имен A. Если поиск находит определение пространства имен для пространства имен N, D расширяет N, и целевая область D — это область, к которой принадлежит N.

Итак, во второй раз в вашем примере появляется пространство имен с именем B:

namespace A
{
    namespace B
    {
        // ...
    }
}

Поиск находит пространство имен A::A0::B, так что новое пространство имен расширяет первое пространство имен с именем B точно так же, как если бы вы написали:

namespace A::inline A0::B {
   // ...
}

Таким образом, когда sum ищется по имени в явной специализации, он находит шаблон A::A0::B::sum, на котором он может хорошо специализироваться.

Итак, я думаю, это ошибка в компиляторе msvc.

Edwin Lester Solis Fuentes 11.06.2024 20:12

@TedLyngmo Я имел в виду явную специализацию. Поиск происходит потому, что eel.is/c++draft/temp.expl.spec#3 eel.is/c++draft/dcl.meaning.general#3.3

Artyer 11.06.2024 20:17

@EdwinLesterSolisFuentes Да, GCC здесь прав. Clang также, кажется, справляется с этим правильно.

Artyer 11.06.2024 20:18

Другие вопросы по теме