шаблона специализация с преобразованием типа

Question

Я нашел этот кусок кода поддельного (надуманный пример ниже):

template <int I, typename T> 
struct foo 
{ 
    static int bar() 
    { 
     return 1; 
    } 
}; 

template <std::size_t Index, typename T> 
struct foo<Index, T*> 
{ 
    static int bar() 
    { 
     return 2; 
    } 
}; 

Пожалуйста, обратите внимание, что специализация использует другой тип (по ошибке). Удивительно, что он компилируется без каких-либо ошибок (или предупреждений) как с GCC 4.8.1, так и с Clang 3.4. Но что еще более странно для линии GCC foo<0, int*>::bar() приводит к 1, но Clang дает 2. Что происходит? До сих пор ли он считается специализацией по стандарту?

Answer 1

Gcc неправ, потому что вы просто не можете назвать эту специализацию. Просто удалите первичное определение шаблона:

template <int I, typename T> 
struct foo; 

template <std::size_t Index> 
struct foo<Index, int*> { 
    static int bar() { 
    return 2; 
    } 
}; 

int main() { 
    std::cout << foo<std::size_t(0), int*>::bar() << std::endl; // nope, not work 
    std::cout << foo<0, int*>::bar() << std::endl; // nope, not work 
} 

Посмотреть живой example. И код this должен сообщать о двусмысленной частичной специализации, но это не (для gcc). Clang report "неоднозначный".

PS I argee, эта часть не достаточно покрыта стандартом.

обновление

лязг в этой ситуации не будет работать с перечислений, example.

Answer 2

Ограничения на частично специализирующийся шаблон класса на аргумент шаблона не типа 14.5.5 [temp.class.spec] пункт 8 списка следующее ограничение:

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

Выражение аргумента с использованием size_t включает в себя преобразование в int (size_t это беззнаковое) и, таким образом, не является простым идентификатором.