- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
归结为:
#include <memory>
class dummy;
std::unique_ptr<dummy> test;
class dummy {
};
当使用 clang++-14 和 c++2b 编译时:
它简要地给出了:
clang++ ../bugl.cpp -I /usr/lib/llvm-14/include -std=c++2b
In file included from ../bugl.cpp:1:
In file included from /usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/memory:76:
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/bits/unique_ptr.h:93:16: error: invalid application of 'sizeof' to an incomplete type 'dummy'
static_assert(sizeof(_Tp)>0,
^~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/12/../../../../include/c++/12/bits/unique_ptr.h:396:4: note: in instantiation of member function 'std::default_delete<dummy>::operator()' requested here
get_deleter()(std::move(__ptr));
^
../bugl.cpp:4:24: note: in instantiation of member function 'std::unique_ptr<dummy>::~unique_ptr' requested here
std::unique_ptr<dummy> test;
^
../bugl.cpp:2:7: note: forward declaration of 'dummy'
class dummy;
^
1 error generated.
但是一旦我们删除了 dummy
的定义,它就变得有趣了——然后它在任何地方都同样失败。
最初我是从 llvm-14 头文件中找到它的:
#include <memory>
#include <llvm/ADT/APFloat.h>
在 Ubuntu 22.04.1 LTS 中使用 llvm-14 和 libstdc++-12-dev 以及 clang++-14
编译:
clang++ -std=c++2b bugllvm.cpp
使用 -std=c++20
可以很好地编译(以及使用 g++ 的 20 和 2b)。
基本上有问题的是这一行:
class DoubleAPFloat final : public APFloatBase {
// Note: this must be the first data member.
const fltSemantics *Semantics;
std::unique_ptr<APFloat[]> Floats;
此处声明了 APFloat
但未定义:
class APFloat;
我的问题是错误在哪里 - 在编译器、标准库、标准本身?
也许是别的原因。
最佳答案
问题是没有使用 std::unique_ptr
作为这样的成员。实际问题在 operator=
的实现中的类定义中更进一步。第 625 行:
DoubleAPFloat &operator=(DoubleAPFloat &&RHS) {
if (this != &RHS) {
this->~DoubleAPFloat();
new (this) DoubleAPFloat(std::move(RHS));
}
return *this;
}
析构函数调用导致 DoubleAPFloat
的析构函数被定义为。这需要 std::unique_ptr<APFloat[]>
的析构函数被实例化。该析构函数的实例化需要实例化 std::default_delete<APFloat[]>
的 operator()
这又需要 APFloat
完成。
函数模板特化的实例化有两个实例化点。一个紧跟在需要它的命名空间范围声明之后(或在需要它的模板实例化点),第二个在翻译单元的末尾。如果选择其中之一而不是另一个会给程序带来不同的含义,则该程序格式错误,不需要诊断。
APFloat
稍后在头文件中定义,因此这里适用。 std::default_delete<APFloat[]>::operator()
的实例化在 DoubleAPFloat
的定义之后立即变为病式(其中 std::unique_ptr
的析构函数的实例化有一个实例化点),但它在翻译单元的末尾会是良构的。
所以这是 <llvm/ADT/APFloat.h>
中的错误编译器不必诊断。
这同样适用于您的简化测试用例。 test
的定义需要定义析构函数,因为需要它来析构变量。同样,隐式实例化可以紧接在变量定义之后或翻译单元的末尾放置。没有 dummy
的定义最后,两个实例化点都是病式的,因此现在需要编译器对其进行诊断。
关于c++ - 类型不完整的唯一指针 - C++2b?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/73978544/
我有两种结构,Header 和Session,它们都符合协议(protocol)TimelineItem。 我有一个 Array 由 TimelineItem 组成,如下所示: [Header1, S
这个问题在这里已经有了答案: Multiple assignment and evaluation order in Python (11 个答案) 关闭 6 年前。 我刚接触python所以想问你
我试图找到一种方法来在 R 中获取 A、A、A、A、B、B、B、B、B 的所有可能的唯一排列的列表。 组合最初被认为是获得解决方案的方法,因此组合的答案。 最佳答案 我认为这就是你所追求的。 @bil
我怎样才能将两个给定的向量混合成一个新的向量,它以交替的顺序保存它们的值。 (f [a a] [b b]) ; > [a b a b] 这是我想到的: (flatten (map vector [:a
这是我的第一个问题,我开始学习Python。之间有区别吗: a, b = b, a + b 和 a = b b = a + b 当您在下面的示例中编写它时,它会显示不同的结果。 def fib(n):
这个问题在这里已经有了答案: Why is there an injected class name? (1 个回答) 12 个月前关闭。 我不知道如何解释: namespace A { struct
我尝试了一些代码来交换 Java 中的两个整数,而不使用第三个变量,使用 XOR。 这是我尝试过的两个交换函数: package lang.numeric; public class SwapVars
假设类 B 扩展类 A,并且我想为 B 声明一个变量。什么更有效?为什么? B b或 A b . 最佳答案 您混淆了两个不同的概念。 class B extends A { } 意味着B 是 A .
我不确定这个问题的标题是什么,这也可能是一个重复的问题。所以请相应地指导。 我是 python 编程的新手。我有这个简单的代码来生成斐波那契数列。 1: def fibo(n): 2: a =
我在谷歌上搜索了有关 dynamic_cast 的内容,我发现显式地将基类对象转换为派生类指针可能是不安全的。但是当我运行一些示例代码来检查它时,我没有收到任何错误。请在下面找到我的代码: class
这个问题在这里已经有了答案: What is this weird colon-member (" : ") syntax in the constructor? (14 个答案) 关闭 8 年前。
在不重现产生非整数值的表达式的情况下实现以下目标的惯用方法是什么(在我的真实情况下,该值是在我不想重现的冗长查询之后计算为百分比的): SELECT * FROM SomeTable WHERE 1/
在析构中,这两个代码的结果确实不同。我不确定为什么。 提示说 const [b,a] = [a,b] 将导致 a,b 的值为 undefined (从左到右的简单分配规则)。我不明白为什么会这样。 l
C++ Templates - The Complete Guide, 2nd Edition介绍max模板: template T max (T a, T b) { // if b < a th
我最近开始学习代码(Java),并根据第 15.17.3 节在 Oracle 网站上查找了模运算符。以下链接: http://docs.oracle.com/javase/specs/jls/se8/
无法理解以下行为。 d1 := &data{1}; 的区别d1 和 d2 := 数据{1}; &d1。两者都是指针,对吧?但他们的行为不同。这里发生了什么 package main import "f
这个问题在这里已经有了答案: How to make loop infinite with "x = y && x != y"? (4 个回答) How can i define variables
在我的程序中,当我调试我的代码时,它似乎在我生成的代码中的某处 X1=['[a,a,a]','[b,b,b]'] 还有我生成的其他地方 X2=[[a,a,a],[b,b,b]] 当我想添加这两个列表然
我试图使用递归将两个整数相乘,并意外编写了这段代码: //the original version int multiply(int a, int b) { if ( !b ) retu
我有一个列表中数字之间所有可能的操作组合: list = ['2','7','8'] 7+8*2 8+7*2 2*8+7 2+8*7 2-8*7 8-2/7 etc 我想知道是否可以说像 ('7*2+
我是一名优秀的程序员,十分优秀!