Question

如果标记的行被注释掉，有人可以解释为什么下面的代码在Visual Studio C ++ 2008/2010上不起作用吗？它是编译器错误还是我做错了什么？代码应输出10个U的序列，但删除行后它不会输出任何内容。变量chr在FilledArray构造函数中变为0。谢谢！

// returns a c-string which contains the char repeated a certain number of times
template<char THE_CHAR>
const char *RepeatChar(unsigned int uiNumber)
{
      // must be static so can be accessed by struct
      static const unsigned int uiMaxSize = 1024;
      static const char chr = THE_CHAR;
      char temp = chr; // comment out this line and it doesn't work

      assert(uiMaxSize > 0);
      assert(uiNumber <= uiMaxSize);

      static const struct FilledArray
      {
            char data[uiMaxSize + 1];

            FilledArray()
            {
                  // fill all but last with the char (space for terminator)
                  fill(data, data + uiMaxSize, chr);
                  data[uiMaxSize] = '\0';
            }

      } sFilledArray;

      // clever bit
      return sFilledArray.data + uiMaxSize - uiNumber;
}

int main()
{
      cout << RepeatChar<'U'>(10) << endl;
}

Answer 1

看起来像编译器错误。我将代码更改为以下内容：

#include <iostream>
#include <assert.h>
using namespace std;

// returns a c-string which contains the char repeated a certain number of times
template<char THE_CHAR>
const char *RepeatChar(unsigned int uiNumber)
{
      // must be static so can be accessed by struct
      static const unsigned int uiMaxSize = 1024;
      static const char chr = THE_CHAR;
//      char temp = chr; // comment out this line and it doesn't work

      static const struct FilledArray
      {
            char data[uiMaxSize + 1];

            FilledArray()
            {
              cout << "[" << chr << "]" << endl;
                  fill(data, data + uiMaxSize, chr);
                  data[uiMaxSize] = '\0';
            }

      } sFilledArray;

      return sFilledArray.data + uiMaxSize - uiNumber;
}

int main()
{
      cout << RepeatChar<'U'>(10) << endl;
}

然后反汇编问题区域，即：

cout << "[" << chr << "]" << endl;
fill(data, data + uiMaxSize, chr);
data[uiMaxSize] = '\0';

和

            cout << "[" << chr << "]" << endl;
00FA3273  push        offset std::endl (0F9E730h)  
00FA3278  push        offset string "]" (0FFE3C0h)  
00FA327D  push        55h  
00FA327F  push        offset string "[" (0FFE3BCh)  
00FA3284  push        offset std::cout (1011F80h)  
00FA3289  call        std::operator<<<std::char_traits<char> > (0F9EF91h)  
00FA328E  add         esp,8  
00FA3291  push        eax  
00FA3292  call        std::operator<<<std::char_traits<char> > (0F9FA3Bh)  
00FA3297  add         esp,8  
00FA329A  push        eax  
00FA329B  call        std::operator<<<std::char_traits<char> > (0F9EF91h)  
00FA32A0  add         esp,8  
00FA32A3  mov         ecx,eax  
00FA32A5  call        std::basic_ostream<char,std::char_traits<char> >::operator<< (0F9EFD2h)  
                  fill(data, data + uiMaxSize, chr);
00FA32AA  push        offset `RepeatChar<85>'::`2'::chr (0FFE3BAh)  
00FA32AF  mov         eax,dword ptr [this]  
00FA32B2  add         eax,400h  
00FA32B7  push        eax  
00FA32B8  mov         ecx,dword ptr [this]  
00FA32BB  push        ecx  
00FA32BC  call        std::fill<char *,char> (0F9E839h)  
00FA32C1  add         esp,0Ch  
                  data[uiMaxSize] = '\0';
00FA32C4  mov         eax,dword ptr [this]  
00FA32C7  mov         byte ptr [eax+400h],0

请注意，当cout＆lt;＆lt;使用时，它会显式替换字符（55h）代替 chr ：

00FA327D  push        55h

但是，当在fill中用作参数时，它使用 offset RepeatChar<85>':: 2':: chr（0FFE3BAh），如下所示：

00FA32AA  push        offset `RepeatChar<85>'::`2'::chr (0FFE3BAh)

但是内存位置0FFE3BAh包含0.但是如果chr在别处使用，那么它在那个位置填充55h。

看起来生成静态部分的代码认为它已经完全优化了 chr ，但实际上它没有。

不幸的是，我们没有VC ++的源代码，所以在Microsoft修复它之前，这仍然是一个谜。

编辑：

相同的代码无法在g ++ 4.4.5中编译。好吧，它实际上编译得很好，但生成的代码依赖于它似乎遗漏的外部，这会导致链接器进行barf。使用g ++进行编译时，我收到以下错误代码：

/tmp/cccGJmv9.o: In function `char const* RepeatChar<(char)85>(unsigned int)::FilledArray::FilledArray()':
b1.cpp:(.text+0x56): undefined reference to `chr'
b1.cpp:(.text+0xa5): undefined reference to `uiMaxSize'
b1.cpp:(.text+0xb2): undefined reference to `chr'
b1.cpp:(.text+0xc1): undefined reference to `uiMaxSize'
collect2: ld returned 1 exit status

这与诊断一致，它似乎认为它优化了静态常量变量，但实际上，它没有。

可能的编译器错误，本地结构从模板参数（phew）访问函数中的静态变量

1 个答案: