调试构建中简单函数的过度堆栈使用

Question

我有一个使用ATL 数据库访问的简单类。 所有函数都定义在一个头文件中。

有问题的函数都是一样的。有一些宏正在使用中。生成的代码是这样的

void InitBindings()
{ 
     if (sName)   // Static global char*   
         m_sTableName = sName;  // Save into member
     { AddCol("Name", some_constant_data... _GetOleDBType(...), ...); };
     { AddCol("Name1", some_other_constant_data_GetOleDBType(...), ...); };
     ...      
}

AddCol 返回对结构的引用，但如您所见，它被忽略了。

当我查看汇编代码时，我有一个使用 6 个 AddCol 调用的函数，我可以看到该函数需要 2176 字节的堆栈空间。我有需要 20kb 或更多的功能。在调试器中，我可以看到堆栈根本没有使用。 （全部初始化为 0xCC 从未接触过）

见最后的汇编代码。

问题可以在 VS-2015 和 VS-2017 中看到。
仅在调试模式下。
在发布模式下，该函数根本不保留额外的堆栈空间。

我看到的唯一规则是；更多的 AddCol 调用，将导致更多的堆栈被保留。我可以看到每个 AddCol 调用保留了大约 500 字节。

再次：该函数不返回任何对象，它返回对绑定信息的引用。

我已经在函数前面使用了以下编译指示（但在标题中的类定义内）：

__pragma(runtime_checks("", off)) __pragma(optimize("ts", on)) __pragma(strict_gs_check(push, off))

但无济于事。这个编译指示应该打开优化，关闭运行时检查和堆栈检查。如何减少分配的这个不需要的堆栈空间。在某些情况下，当使用此函数时，我可以在调试版本中看到堆栈溢出。发布版本没有问题。

; 325  : BIND_BEGIN(CMasterData, _T("tblMasterData"))

    push    ebp
    mov ebp, esp
    sub esp, 2176               ; 00000880H
    push    ebx
    push    esi
    push    edi
    mov DWORD PTR _this$[ebp], ecx
    mov eax, OFFSET ??_C@_1BM@GOLNKAI@?$AAt?$AAb?$AAl?$AAM?$AAa?$AAs?$AAt?$AAe?$AAr?$AAD?$AAa?$AAt?$AAa?$AA?$AA@
    test    eax, eax
    je  SHORT $LN2@InitBindin
    push    OFFSET ??_C@_1BM@GOLNKAI@?$AAt?$AAb?$AAl?$AAM?$AAa?$AAs?$AAt?$AAe?$AAr?$AAD?$AAa?$AAt?$AAa?$AA?$AA@
    mov ecx, DWORD PTR _this$[ebp]
    add ecx, 136                ; 00000088H
    call    DWORD PTR __imp_??4?$CStringT@_WV?$StrTraitMFC_DLL@_WV?$ChTraitsCRT@_W@ATL@@@@@ATL@@QAEAAV01@PB_W@Z
$LN2@InitBindin:

; 326  : // Columns:
; 327  :    B$C_IDENT   (_T("Id"),          m_lId);

    push    0
    push    0
    push    1
    push    4
    push    0
    call    ?_GetOleDBType@ATL@@YAGAAJ@Z        ; ATL::_GetOleDBType
    add esp, 4
    movzx   eax, ax
    push    eax
    push    0
    push    OFFSET ??_C@_15NCCOGFKM@?$AAI?$AAd?$AA?$AA@
    mov ecx, DWORD PTR _this$[ebp]
    call    ?AddCol@CDBAccess@DB@@QAEAAUS_BIND@2@PB_WKGKW4TYPE@32@0_N@Z ; DB::CDBAccess::AddCol

; 328  :    B$C         (_T("Name"),        m_szName);

    push    0
    push    0
    push    0
    push    122                 ; 0000007aH
    mov eax, 4
    push    eax
    call    ?_GetOleDBType@ATL@@YAGQA_W@Z       ; ATL::_GetOleDBType
    add esp, 4
    movzx   ecx, ax
    push    ecx
    push    4
    push    OFFSET ??_C@_19DINFBLAK@?$AAN?$AAa?$AAm?$AAe?$AA?$AA@
    mov ecx, DWORD PTR _this$[ebp]
    call    ?AddCol@CDBAccess@DB@@QAEAAUS_BIND@2@PB_WKGKW4TYPE@32@0_N@Z ; DB::CDBAccess::AddCol

; 329  :    B$C         (_T("Data"),        m_data);

    push    0
    push    0
    push    0
    push    4
    push    128                 ; 00000080H
    call    ?_GetOleDBType@ATL@@YAGAAVCComBSTR@1@@Z ; ATL::_GetOleDBType
    add esp, 4
    movzx   eax, ax
    push    eax
    push    128                 ; 00000080H
    push    OFFSET ??_C@_19IEEMEPMH@?$AAD?$AAa?$AAt?$AAa?$AA?$AA@
    mov ecx, DWORD PTR _this$[ebp]
    call    ?AddCol@CDBAccess@DB@@QAEAAUS_BIND@2@PB_WKGKW4TYPE@32@0_N@Z ; DB::CDBAccess::AddCol

Answer 1

这是一个编译器错误。已经在connect 知道了。

编辑 VS-2017 15.5.1 中要修复的问题接缝

问题与内置 offsetof 中的错误有关。

在这种情况下，我无法 #undef _CRT_USE_BUILTIN_OFFSETOF。

对我来说，它只适用于 #undef offsetof 并使用其中之一：

#define myoffsetof1(s,m)    ((size_t)&reinterpret_cast<char const volatile&>((((s*)0)->m)))
#define myoffsetof2(s, m)   ((size_t)&(((s*)0)->m))

#undef offsetof
#define offsetof myoffsetof1

所有 ATL DB 使用者都会受到影响。

这是一个显示错误的最小重现。在 Init 函数上设置断点。查看汇编代码，想知道使用了多少堆栈！

// StackUsage.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include <string>
#include <list>
#include <iostream>

using namespace std;

struct CRec
{
    char    t1[20];
    char    t2[20];
    char    t3[20];
    char    t4[20];
    char    t5[20];
    int     i1, i2, i3, i4, i5;
    GUID    g1, g2, g3, g4, g5;
    DBTIMESTAMP d1, d2, d3, d4, d5;
};

#define sizeofmember(s,m)   sizeof(reinterpret_cast<const s *>(0)->m)
#define typeofmember(c,m)   _GetOleDBType(((c*)0)->m)

#define myoffsetof1(s,m)    ((size_t)&reinterpret_cast<char const volatile&>((((s*)0)->m)))
#define myoffsetof2(s, m)   ((size_t)&(((s*)0)->m))

// Undef this lines to fix the bug
// #undef offsetof
// #define offsetof myoffsetof1

#define COL(n,v)    { AddCol(n,offsetof(CRec,v),typeofmember(CRec,v),sizeofmember(CRec,v));     }

class CFoo
{
public:
    CFoo()
    {
        Init();
    }

    void Init()
    {
        COL("t1", t1);
        COL("t2", t2);
        COL("t3", t3);
        COL("t4", t4);
        COL("t5", t5);
        COL("i1", i1);
        COL("i2", i2);
        COL("i3", i3);
        COL("i4", i4);
        COL("i5", i5);
        COL("g1", g1);
        COL("g2", g2);
        COL("g2", g3);
        COL("g2", g4);
        COL("g2", g5);
        COL("d1", d1);
        COL("d2", d2);
        COL("d2", d3);
        COL("d2", d4);
        COL("d2", d5);
    }
    void AddCol(PCSTR szName, ULONG nOffset, DBTYPE wType, ULONG nSize)
    {
        cout << szName << '\t' << nOffset << '\t' << wType << '\t' << nSize << endl;
    }
};



int main()
{
    CFoo foo;
    return 0;
}