在无名类中是否有一种声明构造函数或析构函数的方法？考虑以下情况
void f()
{
struct {
// some implementation
} inst1, inst2;
// f implementation - usage of instances
}
跟进问题：这些实例当然像任何基于堆栈的对象一样被构造（和销毁）。 调用的是什么？ 这是编译器自动分配的缩略名称吗？
跟进问题：这些实例当然像任何基于堆栈的对象一样被构造（和销毁）。调用的是什么？这是编译器自动分配的缩略名称吗？
#include <iostream>
#include <cmath>
int main() {
struct {
struct S {
double a;
int b;
S() : a(sqrt(4)), b(42) { std::cout << "constructed" << std::endl; }
~S() { std::cout << "destructed" << std::endl; }
} s;
} instance1, instance2;
std::cout << "body" << std::endl;
}
接下来的所有内容都需要C++11值初始化支持。
为了避免嵌套，构建的解决方案很简单。您应该使用C++11值初始化来初始化所有成员。您可以使用lambda调用的结果对它们进行初始化，因此在初始化期间可以执行任意复杂的代码。
#include <iostream>
#include <cmath>
int main() {
struct {
double a { sqrt(4) };
int b { []{
std::cout << "constructed" << std::endl;
return 42; }()
};
} instance1, instance2;
}
int b { [this]{ constructor(); return 42; }() };
void constructor() {
std::cout << "constructed" << std::endl;
}
这段代码仍然不够清晰，并且将b的初始化与其他内容混淆在一起。你可以将constructor调用移动到一个帮助类中，代价是空类仍然占据未命名结构体中的一些空间（如果它是最后一个成员，则通常为1个字节）。
#include <iostream>
#include <cmath>
struct Construct {
template <typename T> Construct(T* instance) {
instance->constructor();
}
};
int main() {
struct {
double a { sqrt(4) };
int b { 42 };
Construct c { this };
void constructor() {
std::cout << "constructed" << std::endl;
}
} instance1, instance2;
}
由于 c 实例需要一些空间，我们不妨明确指出，并摆脱辅助程序。下面的代码闻起来像是 C++11 的成语，但由于返回语句有点冗长。
struct {
double a { sqrt(4) };
int b { 42 };
char constructor { [this]{
std::cout << "constructed" << std::endl;
return char(0);
}() };
}
#include <iostream>
#include <cmath>
struct ConstructDestruct {
void * m_instance;
void (*m_destructor)(void*);
template <typename T> ConstructDestruct(T* instance) :
m_instance(instance),
m_destructor(+[](void* obj){ static_cast<T*>(obj)->destructor(); })
{
instance->constructor();
}
~ConstructDestruct() {
m_destructor(m_instance);
}
};
int main() {
struct {
double a { sqrt(4) };
int b { 42 };
ConstructDestruct cd { this };
void constructor() {
std::cout << "constructed" << std::endl;
}
void destructor() {
std::cout << "destructed" << std::endl;
}
} instance1, instance2;
std::cout << "body" << std::endl;
}
现在你一定在抱怨ConstructDestruct实例中存储的数据冗余。实例存储的位置是从未命名结构体头部的固定偏移量处开始的。你可以获取这样的偏移量并将其包装在一个类型中（见此处）。因此我们可以摆脱ConstructorDestructor中的实例指针：
#include <iostream>
#include <cmath>
#include <cstddef>
template <std::ptrdiff_t> struct MInt {};
struct ConstructDestruct {
void (*m_destructor)(ConstructDestruct*);
template <typename T, std::ptrdiff_t offset>
ConstructDestruct(T* instance, MInt<offset>) :
m_destructor(+[](ConstructDestruct* self){
reinterpret_cast<T*>(reinterpret_cast<uintptr_t>(self) - offset)->destructor();
})
{
instance->constructor();
}
~ConstructDestruct() {
m_destructor(this);
}
};
#define offset_to(member)\
(MInt<offsetof(std::remove_reference<decltype(*this)>::type, member)>())
int main() {
struct {
double a { sqrt(4) };
int b { 42 };
ConstructDestruct cd { this, offset_to(cd) };
void constructor() {
std::cout << "constructed " << std::hex << (void*)this << std::endl;
}
void destructor() {
std::cout << "destructed " << std::hex << (void*)this << std::endl;
}
} instance1, instance2;
std::cout << "body" << std::endl;
}
很遗憾，似乎无法从ConstructDestruct中消除函数指针。不过这没关系，因为它的大小必须是非零的。无论如何，在未命名结构体之后存储的内容很可能会被对齐到函数指针大小的倍数，因此sizeof(ConstructDestruct)比1大时可能没有开销。
char。注意，在VC++中，它会抱怨将0强制转换为char（因为返回值没有明确指定为char）。也许使用bool更清晰？ - Elliot Woodsclass/struct基础类型一起使用。此外，它也不能（合理地）为成员提供构造参数。但还是很不错的知识！ - Adam Badura无法为匿名类声明构造函数或析构函数，因为构造函数和析构函数的名称需要与类名称匹配。在您的示例中，该匿名类是本地类。它没有链接，因此不会创建任何名称。