- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
这是我对 is_destructible_v
的实现:
template<class T>
struct is_unknown_bound_array : std::false_type
{};
template<class T>
struct is_unknown_bound_array<T[]> : std::true_type
{};
template<typename T, typename U = std::remove_all_extents_t<T>>
using has_dtor = decltype(std::declval<U&>().~U());
template<typename T>
constexpr bool is_destructible_v
= (std::experimental::is_detected_v<has_dtor, T> or std::is_reference_v<T>)
and not is_unknown_bound_array<T>::value
and not std::is_function_v<T>;
template<typename T>
struct is_destructible : std::bool_constant<is_destructible_v<T>>
{};
clang compiled happily and passed all libstdcxx's testsuite , 而 gcc failed to compile :
prog.cc:177:47: error: 'std::declval<int&>()' is not of type 'int&'
177 | using has_dtor = decltype(std::declval<U&>().~U());
| ~~~~~~~~~~~~~~~~~~~~^
prog.cc: In substitution of 'template<class T, class U> using has_dtor = decltype (declval<U&>().~ U()) [with T = int&&; U = int&&]':
因此,gcc 无法在 using has_dtor = decltype(std::declval<U&>().~U());
上执行 SFINAE .
问题:
最佳答案
GCC 在处理 ~T()
时似乎被破坏了,其中 T
是标量类型的引用。
它接受 following code ,根据 [expr.pseudo]/2 这显然是错误的:
template<typename T> using tester = decltype(int{}.~T(), char{});
tester<int&> ch;
int main() {}
我会使用 if constexpr
来实现:
template<class T>
constexpr bool my_is_destructible() {
if constexpr (std::is_reference_v<T>) {
return true;
} else if constexpr (std::is_same_v<std::remove_cv_t<T>, void>
|| std::is_function_v<T>
|| is_unknown_bound_array<T>::value ) {
return false;
} else if constexpr (std::is_object_v<T>) {
return std::experimental::is_detected_v<has_dtor, T>;
} else {
return false;
}
}
它works也有 GCC。
关于c++ - 使用 Detected Idiom 实现 is_destructible,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53456848/
有人指出我是“安全 bool 惯用语”,在尝试破译发生了什么之后(解释 supplied on the site 不足以让我理解为什么它有效),我决定尝试将以下代码分开并尝试尽可能地简化它。该站点提供
我想使用 Pimpl Idiom,但我遇到了一个问题,其中一个成员函数是模板函数,因此它必须在头文件中实现。 例如下面这个当然可以正常工作 //Foo.h class Foo{ struct
假设我有一个 C 库,它有自己的(反)初始化例程,很多库都有。 init_API(); deinit_API(); 现在假设我想为用户提供另一个抽象级别,并使用静态实例化的类抽象掉这些调用。我想到的方
我知道在 C 中看起来像这样的 pimpl-idiom: // foobar.h struct FooBar { char *someString; struct FooBarImpl
我有以下代码的错误 incomplete type ‘Foo::Pimpl’ used in nested name specifier 另一个Foo.hpp struct AnotherFoo {
考虑以下 try-with-resources block : try (Foo foo = getAFoo()) { } 对于某些实现了 java.lang.AutoCloseable 的类 Foo
我们有一个客户希望访问的高度模板化的仅 header 代码库。例如,假设它包含 Foo标题中的类 foo.hpp : #ifndef FOO_HEADER #define FOO_HEADER #in
D 有一个很棒的模块系统,与 C++ 相比,它大大减少了编译时间。根据文档 D 仍然提供不透明的结构和联合以启用 pimpl 习惯用法。我的问题是:如何在一个模块中声明嵌套结构(或联合)并在另一个模块
我基本上有这段代码: for (var i = 0; i < num; i++) { ShowCard(i); } 现在,ShowCard 只是添加一个 DOM 元素,但我希望它有一个动画,显示这
我正在尝试为将使用 pimpl-idiom 的库定义接口(interface)。下面是我定义的一个典型的接口(interface)类。 struct A { public: void func1
注意:此问题遵循 a previous one , 我希望仍然可以将其作为一个新问题提出。 我正在尝试为树类实现“三个半大规则”( copy-and-swap 习语),它看起来像这样: class T
好的。所以我有一个值列表,我想执行如下操作: MyObjectValues .Select(currentItems=>new MyType() { Parameter1 = current
通常的克隆习语使用协变返回类型: struct Base { virtual Base* clone(); }; struct Derived : public Base { Deri
传统的PImpl Idiom是这样的: #include struct Blah { //public interface declarations private: struct
我正在阅读一本关于 Swift 设计模式的书,并遇到了一个示例,作者希望确保任何初始化特定类的子类的人都必须传入基类所需的值: class Employee { private var pro
我刚被一个 bug 搞得焦头烂额,部分原因是我缺乏理解,部分原因是我认为我们的代码库中的设计欠佳。我很好奇如何改进我的 5 分钟解决方案。 我们正在使用引用计数对象,我们在这些类的对象上使用 AddR
这个问题在这里已经有了答案: Use of void template argument in early detection idiom implementation (1 个回答) 关闭 5 年
正如标题所暗示的,我想知道除了减少重建时间之外,PImpl 惯用语还有哪些其他原因、目的或用途。 引用 here 中的示例: (thread locals need to be behind a pi
PIMPL 习语的目的是隐藏实现,包括方法、结构,甚至结构的大小。一个缺点是它使用堆。 但是,如果我不想隐藏任何东西的尺寸要求怎么办。我只是想隐藏方法、结构的格式和变量名。一种方法是分配一个完美大小的
按照目前的情况,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我是一名优秀的程序员,十分优秀!