【发布时间】：2014-02-27 00:34:45
【问题描述】：
我在 08 年左右使用 gcc 3.x 编写了这段代码。我现在正在尝试使用 clang 3.4 进行编译，但遇到了一个我不理解的模板错误。这个想法是声明任意维度和精度的固定维度 vec 类型，然后基于这些定义 vecPair 类型。我不明白“a.convert()”中模板类型名 S 的使用如何影响模板参数；它旨在使用参数，而不是重新声明它。任何信息将不胜感激！
typedef unsigned int Uns;
template <typename T>
inline const T& min(const T& a, const T& b) {
return a <= b ? a : b;
}
template <Uns N, typename T>
struct vec {
T comp[N];
template <Uns M, typename S>
inline vec<M, S> convert() const {
vec<M, S> converted;
for (Uns i = 0; i < min(M, N); ++i) converted[i] = comp[i];
for (Uns i = N; i < M; ++i) converted[i] = 0;
return converted;
}
};
template <Uns N, typename T>
struct vecPair {
vec<N, T> a;
vec<N, T> b;
inline vecPair(const vec<N, T>& _a, const vec<N, T>& _b) : a(_a), b(_b) {}
template <Uns M, typename S>
inline vecPair<M, S> convert() const {
vec<M, S> ca = a.convert<M, S>();
vec<M, S> cb = b.convert<M, S>();
return vecPair<M, S>(ca, cb);
}
};
clang 3.4 给出以下输出：
$ clang++ -fsyntax-only vec-bug.cpp
vec-bug.cpp:30:33: error: declaration of 'S' shadows template parameter
vec<M, S> ca = a.convert<M, S>();
^
vec-bug.cpp:28:29: note: template parameter is declared here
template <Uns M, typename S>
^
vec-bug.cpp:30:34: error: expected ';' at end of declaration
vec<M, S> ca = a.convert<M, S>();
^
;
vec-bug.cpp:31:12: error: template argument for template type parameter must be a type
vec<M, S> cb = b.convert<M, S>();
^
vec-bug.cpp:11:27: note: template parameter is declared here
template <Uns N, typename T>
^
...
【问题讨论】：
-
好吧，我复制了。
G++和VC++不给出警告或错误，clang++给出列出的警告。我被难住了。 -
我认为这是一个 SSCCE：ideone.com/bieydI。看来 clang 正在将其解析为
a.convert<M和一个（无法解析的）S>()，由逗号运算符分隔。现在我不再确定 clang 是错的。可能是 G++ 和 VC++ 在技术上是错误的，不确定。