13

我在这里尝试一些诡异的东西。我正在尝试编写使用 GNU 的 g++ 编译的 C++ 程序，但不依赖于 libstdc++ :) 但似乎我需要它，因为即使是最基本的东西也需要它。

具有可配置功能集的 libstdc++ 是可以接受的。

我使用的命令是

g++ -nodefaultlibs -fno-rtti -fno-exceptions -lc

没有 libstdc++，我得到：

undefined reference to `operator delete(void*)'  
undefined reference to `operator new(unsigned int)'  
undefined reference to `vtable for __cxxabiv1::__class_type_info'  
undefined reference to `vtable for __cxxabiv1::__si_class_type_info'  
undefined reference to `__cxa_pure_virtual'

这些不在 libc 中，那么是否有一个真正轻量级的 libstdc++ 可以实现这些东西？

我想以这种方式构建的测试代码目前如下所示：

#include <stdio.h>

template <class T>
class X
{
    public:
    T a;
};

class A1
{
    public:
        virtual void f() = 0;
        virtual ~A1() {}
};

class A2 : public A1
{
    public:
        virtual void f() {};
        virtual ~A2() {}
};

class Y
{
    public:
        ~Y() {}
};

int main()
{
    X<int> A;
    X<float> B;
    Y *C = new Y;

    A.a = 12;
    B.a = 2.3;

    printf("A: %d; B: %f\n", A.a, B.a);

    A2 *a2 = new A2;
    a2->f();

    return 0;
}
4

5 回答 5

6

是的，类似operator newand之operator delete类的东西确实是在 C++ 中定义的，而不是在 C 中，因此将它们放在 C 的运行时库中而不是 C++ 的运行时库中是荒谬的（对于用于明确诊断错误调用的“纯虚拟”也是如此）到纯虚方法，等等）。如果您在没有动态库访问权限的情况下链接整个可执行文件，则链接器应该（希望 - 取决于 C++ 运行时库的模块化编码方式）挑选并选择您在代码中使用的标准 C++ 库的最小部分（以及您使用的 C++ 特定功能越少——例如new暗示delete析构函数调用等等——当然，避免拉入更大的库块的机会就越大；-)。

于 2010-09-15T02:13:11.433 回答
6

也许这个答案有点太晚了，但是......

在没有 libstdc++ 的情况下编写 c++ 程序很容易。我这样做了几十年。只是避免与 libstdc++ 链接。这很简单：要么使用 gcc 而不是 g++ 进行链接，要么提供一个只有 new、del 和其他一些函数的假 libstdc++。

这是一个示例，您可以如何使用 malloc 周围的透明包装器替换基本的 libstdc++ 功能：

#include <stdlib.h>

// MSVC uses __cdecl calling convention for new/delete :-O
#ifdef _MSC_VER
#  define NEWDEL_CALL __cdecl
#else
#  define NEWDEL_CALL
#endif

extern "C" void __cxa_pure_virtual ()
{
    abort ();
}

void * NEWDEL_CALL operator new (size_t size)
{
    return malloc (size);
}

void * NEWDEL_CALL operator new [] (size_t size)
{
    return malloc (size);
}

void NEWDEL_CALL operator delete (void *p)
{
    if (p) free (p);
}

void NEWDEL_CALL operator delete [] (void *p)
{
    if (p) free (p);
}

void NEWDEL_CALL operator delete (void *p, size_t)
{
    if (p) free (p);
}

现在把它放到一个名为 libstd--.cpp 的文件中，然后构建你自己的 libstdc++.a：

gcc -c -O libstdc--.cpp
ar crs libstdc++.a libstdc--.o

然后你可以尝试一个简单的测试：

class A
{
    int *x;

public:
    A () { x = new int [10]; }
    ~A () { delete [] x; }
};

int main ()
{
    A a;
    return 0;
}

编译并查看链接的内容：

g++ -g test.cpp -o 测试 -L。

# ldd ./test
    linux-vdso.so.1 (0x00007ffed0b8d000)
    libm.so.6 => /lib64/libm.so.6 (0x00007f4d18df0000)
    libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f4d18bd9000)
    libc.so.6 => /lib64/libc.so.6 (0x00007f4d18823000)
    /lib64/ld-linux-x86-64.so.2 (0x00007f4d1913b000)

嘿，看，妈，没有 libstdc++！

作为替代方案，您可以通过使用 gcc 而不是 g++ 链接并在链接器命令行上提供 libstdc--.o 来避免使用伪造的 libstdc++，以便您的代码可以找到替换新闻并删除。

于 2018-11-03T13:17:53.907 回答
2

尝试链接到libsupc++.a. 它是裸 C++sup端口库，没有重量级的 iostreams 函数或任何东西。

我不确定，但我相信使用它而不是libstdc++.a会获得“独立”C++ 实现，而不是标准第 1 条中定义的“托管”或完整实现。

于 2010-09-15T02:36:29.077 回答
1

这是一个很好的解释：

http://www.trilithium.com/johan/2005/06/static-libstdc/

这篇文章更详细地解释了，但这样做的一个关键原因是 C++ 特定的库往往不如基本的 libc 东西稳定。这可能有助于减少依赖性问题。

于 2010-09-15T02:10:53.147 回答
0

另一种方法可能是“统计”您的程序。这意味着将所有库嵌入到静态可执行文件中，这样您的代码将始终使用您用于编译的机器中的 glibc。您唯一需要的是运行机器中的兼容内核。我知道有两个程序可以做到这一点，一个是开源的：

另一个是商业软件：

当然，这种方法有一些缺点，例如，如果您更新应用程序用来修复错误的动态库，因为在嵌入该库的可执行文件中，您将不得不再次编译您的应用程序。

于 2010-09-16T11:59:29.603 回答