Что я здесь делаю не так? Или это ошибка clang++?

Следующий код не удается скомпилировать на моем Mac 

#include <iostream>
#include <array>

template <typename T, unsigned int N>
using Vector = std::array<T, N>;

template <typename T, unsigned int N>
T dot(const Vector<T, N> &l, const Vector<T, N> &r) {
    T result{0};
    for (auto i = 0; i < N; ++i) {
        result += l[i] * r[i];
    }
    return result;
}

using Vector3f = Vector<float, 3>;

int main(int argc, const char * argv[]) {
    Vector3f u{1.0f, 2.0f, 3.0f};
    Vector3f v{6.0f, 5.0f, 4.0f};

    std::cout << dot(u, v) << std::endl;

    return 0;
}

Вот как я компилирую из терминала: 

clang++ -std=c++11 -stdlib=libc++ repro.cpp -o repro

Вот ошибка, которую я получаю: 

repro.cpp:24:18: error: no matching function for call to 'dot'
    std::cout << dot(u, v) << std::endl;
                 ^~~
repro.cpp:10:3: note: candidate template ignored: substitution failure [with T = float]: deduced non-type template
      argument does not have the same type as the its corresponding template parameter
      ('unsigned long' vs 'unsigned int')
T dot(const Vector<T, N> &l, const Vector<T, N> &r) {
  ^
1 error generated.

Код прекрасно компилируется в Visual Studio 2015 Preview.

И он прекрасно компилируется из терминала, когда я заменяю вызов dot на: 

std::cout << dot<float, 3>(u, v) << std::endl;

P.S.: clang++ версия, которую я использую: clang++ -- версия Apple LLVM версии 6.0 (clang-600.0.57) (на основе LLVM 3.5 svn)

1 4
c++ macos

1 ответ:

Замените все экземпляры unsigned int на std::size_t. Шаблон класса std::array объявляется как.

template< class T, std::size_t N > struct array;

Во время вычитания аргумента шаблона, если параметр шаблона без типа не соответствует соответствующему аргументу, происходит ошибка вычитания. В вашей системе std::size_t происходит с alias long unsigned int изменение кода на следующий должно работать: 

template <typename T, std::size_t N> // <--
using Vector = std::array<T, N>;

template <typename T, std::size_t N> // <--
T dot(const Vector<T, N> &l, const Vector<T, N> &r);
5