我只想在这里发帖,以确保我不会错过任何完全明显的东西(因此会觉得非常愚蠢)。这是我写的一些代码的简化版本。
template <int NDIM, typename T = int>
class COORD {
public:
COORD(T dim0) { m_data[0] = dim0; }
private:
T m_data[NDIM];
};
template <class COORD>
class NODE {
public:
NODE(const COORD& c = COORD()) : m_coord(c) {}
private:
COORD m_coord;
};
int main()
{
const int VAL = 10;
NODE< COORD<1> > n( COORD<1>( VAL ) ); // warning c4930???
NODE< COORD<1> > n2( COORD<1>( 10 ) );
COORD<1> c( VAL );
NODE< COORD<1> > n3( c );
return 0;
}
声明“NODE&lt; COORD&lt; 1&gt;&gt; n(COORD&lt; 1&gt;(VAL));”给出:
warning C4930: 'NODE<COORD> n(COORD<NDIM>)': prototyped function not called
(was a variable definition intended?)
with
[
COORD=COORD<1>,
NDIM=1
]
但是,'n2'和'n3'的decls编译得很好。这是VC2008&amp; VC2010,我还没试过VC2012。这个代码块似乎可以在GCC 4.5.3上正常编译。
答案 0 :(得分:11)
这被称为"most vexing parse"。您可能认为您正在创建一个临时对象并使用它来初始化变量;但编译器将其解释为函数声明。
具体来说,n
是一个返回NODE<COORD<1>>
的函数,它接受一个参数,该参数是一个带有一个名为VAL
的参数(缺少类型说明符)的函数的指针,并返回{{1} }。
您可以通过添加括号来修复它,使其不被解释为函数声明:
COORD<1>