c++ - 如何强制编译器显示隐式构造函数

标签 c++ c++11 gcc clang

gcc 或 clang 有“-E”选项来运行预处理器并显示所有宏是如何展开的,对于隐式生成的方法我需要这样的东西。

有没有办法强制 gcc 或 clang 为每个类打印隐式创建和删除的构造函数/析构函数/赋值运算符?

最佳答案

您可以使用模板类型特征作为从某些类型中提取此类信息的变通方法。这无法区分某些内容是被显式删除还是隐式删除,但是您可以肯定地知道您是否没有显式删除,例如

#include <iostream>
#include <type_traits>

struct A { 
    A(const A&) = delete;
};

int main() {
    std::cout << std::boolalpha << std::is_trivially_default_constructible_v<A> << '\n';
    std::cout << std::boolalpha << std::is_copy_assignable_v<A> << '\n';
    std::cout << std::boolalpha << std::is_trivially_move_constructible_v<A> << '\n';
}

将产生 false, true, false,例如,当复制构造函数被显式删除时,普通的默认构造函数被隐式删除。

编辑:这是一个遍历类层次结构并找到违反特定特征的基类的示例:

#include <iostream>
#include <type_traits>
#include <typeinfo>

struct A {
    A(const A&) = delete;
    A(A&&) noexcept { }
};

struct B : A {
    using base_type = A;
    B(B&& b) : A(std::move(b)) { }
};

struct C : B {
    using base_type = B;
};

struct D : C {
    using base_type = C;
};

template <typename T, bool = std::is_nothrow_move_constructible_v<typename T::base_type>>
struct check { };

template <typename T>
struct check<T, false> : check<typename T::base_type> { };

template <typename T>
struct check<T, true> {
    using result_t = T;
};

int main() {
    std::cout << typeid(check<D>::result_t).name() << '\n';
}

从那时起,您可能会产生自己增强和推广它的想法。

关于c++ - 如何强制编译器显示隐式构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50562189/

相关文章:

c++ - 无法在二叉树中实现递归搜索

c++ - Mac OSX 10.9上的Qt部署

c++ - 在 lambda C++14 中捕获 std::promise

c - 在用户模式下为 ARMV7A 处理器启用中断

c++ - 确定激活了哪些固有标志

c++ - 在SAPI中讲进度事件

c++ - 如何执行此练习(动态数组)?

c++ - 使用 asio 时双重释放或损坏

C++ 11 自动初始化

c++ - 为什么MSVC和GCC无法使用具有默认值的字段初始化结构