Частичная специализация для типа оболочки ⇐ C++

[Anonymous]

Предположим, у нас есть следующие шаблоны структур:

Код: Выделить всё

template 
struct Foo { }; // (1) library

template 
struct Bar { }; // (2) library

template 
struct Foo { }; // (3) library

template 
struct Foo { }; // (4) user

Если я попытаюсь использовать Foo, я получаю ошибку «неоднозначного создания экземпляра шаблона».
Я пишу библиотеку, которая должна позволить пользователям специализировать Foo и автоматически получать специальное поведение для Foo. Bar определен в библиотеке.
Есть ли элегантный способ устранить неоднозначность Foo?

Подробнее здесь: https://stackoverflow.com/questions/797 ... apper-type