Концепция и реализация GCC std :: vector

Давайте попробуем создать совпадение типа указателя
оба RandomAccessIterator
и NullablePointer концепции.
Цель состоит в том, чтобы создать Распределитель
чтобы использовать std :: vector с нашим указателем типа. Вы можете найти фрагмент Вот

Проблема возникает при попытке скомпилировать этот код:

int main()
{
std::vector<float, allocator<float>> t {0.f, 0.f};
}

Мы получаем следующее сообщение об ошибке:

/usr/bin/../lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:173:6: error:
value of type 'pointer' (aka 'ptr_like<int>') is not contextually convertible
to 'bool'
if (__p)

Здесь мы видим, что наш тип должен быть bool конвертируемым. Это не сложно сделать,
и если у людей есть экземпляр нашего типа указателя, они, скорее всего, будут использовать его в любом случае.
Итак, давайте сделаем это и раскомментируем следующее в нашем фрагменте:

// In detail::ptr_like we add :
operator bool() const;

И мы получаем следующую ошибку с Clang:

/usr/bin/../lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_vector.h:168:25: error:
conditional expression is ambiguous; 'pointer' (aka 'ptr_like<int>') can be
converted to 'int' and vice versa
{ return __n != 0 ? _M_impl.allocate(__n) : 0; }

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

• Замена 0 с ключевым словом c ++ 11 nullptr когда запрашивается c ++ 11
• Замена 0 приведением к типу указателя static_cast<pointer>(0)
• Обновление концепции требования для указателя в концепции Allocator.
• Не используйте конструктор с std::initializer_list (печальный)

Неправильно ли определять пользовательские указатели в C ++?

Это ошибка?