c++ - clang (c++) 在特化中找不到名称

Question

以下代码使用 gcc (g++) 进行编译，但使用 clang (c++) 进行编译。

我期待着 n1::generic(*it); 这行寻找 my_traits<bool> (或 my_traits<const bool> )特化但是，它似乎正在寻找名称 specific在 vector 内(const？)来自同一专业。

此外，这是特定于 bool 的。其他类型如 int 工作正常。 (我尝试添加 my_traits<vector<bool> >(以及 const bool)特化，但没有帮助)。

#include <vector>

namespace n1 {

    template <class T> struct my_traits { };

    template <> struct my_traits<bool> {
        static void specific(bool b) { }
    };

    template <> struct my_traits<int> {
        static void specific(int b) { }
    };

    template <typename T> void generic(const T& t)
    {
        my_traits<T>::specific(t);
    }

    template <typename T> struct my_traits<std::vector<T> > {
        static void specific(const std::vector<T>& b)
        {
            if (! b.empty()) {
                for (typename std::vector<T>::const_iterator it = b.begin();
                        it != b.end(); ++it) {
                    n1::generic(*it);
                }
            }
        }
    };
}

namespace n2 {
    struct ArrayOfBoolean {
        std::vector<bool> values;
    };

    struct ArrayOfInt {
        std::vector<int> values;
    };
}

namespace n1 {

    template<> struct my_traits<n2::ArrayOfBoolean> {
        static void specific(const n2::ArrayOfBoolean& v) {
            n1::generic(v.values);
        }
    };

    template<> struct my_traits<n2::ArrayOfInt> {
        static void specific(const n2::ArrayOfInt& v) {
            n1::generic(v.values);
        }
    };
}

---

c++     codec.cc   -o codec
In file included from codec.cc:1:./codec.h:17:23: error: no member named 'specific' in 'n1::my_traits<std::__1::__bit_const_reference<std::__1::vector<bool,std::__1::allocator<bool> > > >'
    my_traits<T>::specific(t);
    ~~~~~~~~~~~~~~^
./codec.h:26:25: note: in instantiation of function template specialization 'n1::generic<std::__1::__bit_const_reference<std::__1::vector<bool, std::__1::allocator<bool> > > >' requested here
    n1::generic(*it);
        ^
./codec.h:17:23: note: in instantiation of member function 'n1::my_traits<std::__1::vector<bool, std::__1::allocator<bool> > >::specific' requested here
    my_traits<T>::specific(t);
                  ^
./codec.h:47:17: note: in instantiation of function template specialization 'n1::generic<std::__1::vector<bool, std::__1::allocator<bool> > >' requested here
    n1::generic(v.values);
        ^
1 error generated.

Answer 1

看起来很奇怪，一个vector<bool>不包含任何 bool秒。只有您无法获得真正引用的位。

所以在n1::generic(*it);没有const bool& , 只有一个 __bit_const_reference代理类。