Question

#include <iostream>
#include <map>
using namespace std;

int main()
{
    int x = 5;
    decltype(x) y = 10;
    map<int, int> m;
    decltype(m) n;
    decltype(m)::iterator it;
}

g++ -std=c++0x main.cpp

main.cpp: In function `int main()':
main.cpp:11: error: expected initializer before `it'

前2个decltypes起作用。第三个导致编译器错误。这是这个gcc版本的问题吗？

g++ -v
Using built-in specs.
Target: x86_64-suse-linux
Configured with: ../configure --prefix=/usr --infodir=/usr/share/info --mandir=/usr/share/man --libdir=/usr/lib64 --libexecdir=/usr/lib64 --enable-languages=c,c++,objc,fortran,obj-c++,java,ada --enable-checking=release --with-gxx-include-dir=/usr/include/c++/4.3 --enable-ssp --disable-libssp --with-bugurl=http://bugs.opensuse.org/ --with-pkgversion='SUSE Linux' --disable-libgcj --disable-libmudflap --with-slibdir=/lib64 --with-system-zlib --enable-__cxa_atexit --enable-libstdcxx-allocator=new --disable-libstdcxx-pch --enable-version-specific-runtime-libs --program-suffix=-4.3 --enable-linux-futex --without-system-libunwind --with-cpu=generic --build=x86_64-suse-linux
Thread model: posix
gcc version 4.3.2 [gcc-4_3-branch revision 141291] (SUSE Linux)

Answer 1

使用decltype-expression形成qualified-id（ type :: type ）的能力最近（好吧，一年前），添加到C ++ 0x工作文件中，但它将成为完成标准的一部分。所以你编写的代码实际上是格式良好的C ++ 0x。最终gcc会迎头赶上。

与此同时，您可以使用类似

的内容

#include <map> 
template<typename T> 
struct decltype_t 
{ 
typedef T type; 
}; 

#define DECLTYPE(expr) decltype_t<decltype(expr)>::type 

int main() 
{ 
 std::map<int, int> m;
 decltype(m) n; 
 DECLTYPE(m)::iterator it; // works as expected
}

但是，如果你像我一样，你会觉得不得不诉诸这些伎俩：）

Answer 2

根据wikipedia，这是规范中的一个已知问题，尚未修复。因此，decltype不能成为 qualified-id 的一部分。

Answer 3

根据最新标准，decltype-specifier已被允许这样做，我相信你会在GCC 4.6中看到GCC支持。

qualified-id:
  ::opt nested-name-specifier unqualified-id
  :: identifier
  :: operator-function-id
  :: literal-operator-id
  :: template-id

nested-name-specifier:
  type-name ::
  namespace-name ::
  decltype-specifier ::
  nested-name-specifier identifier ::
  nested-name-specifier templateopt simple-template-id ::

Answer 4

它也不适用于GCC 4.5。 See Wikipedia.

Answer 5

我的机器上没有gcc 4.3.2，但我使用gcc 4.4进行了测试，并在我的一位同事提出类似的编译错误后使用了std::remove_reference。

$ g ++ - 4.4 --version g ++ - 4.4（Ubuntu / Linaro 4.4.7-1ubuntu2）4.4.7 版权所有（C）2010 Free Software Foundation，Inc。这是免费的软件;查看复制条件的来源。没有保证;甚至不适用于特定的适销性或适用性用途

#include <iostream>
#include <map>
using namespace std;

int main()
{ 
  int x = 5;
  decltype(x) y = 10;
  map<int, int> m;
  decltype(m) n;
  std::remove_reference<decltype(m)>::type::iterator it;
  std::cout << "Done"  << std::endl;
}

命令行输出：

$ g++-4.4 -std=c++0x decltype.cpp 
$ ./a.out 
Done

decltype在gcc 4.3.2中无法正常工作？

5 个答案: