主页 / user-1438465

Chameleon's questions

Martin Hope
Chameleon
Asked: 2024-09-06 01:29:30 +0800 CST
  • 7

auto当函数主体包含多个if constexpr分支并且其中一个分支无条件抛出时，如何使用推断（）返回类型指定函数的返回类型？

返回类型必须满足某个概念；我不能仅仅将其保留为void。

我尝试使用std::declval但是 g++ 静态断言“你不能使用 declval”。

问题是，除了假返回之外，有没有更好的方法来声明返回类型？

auto func()
{
   if constexpr (A)
   {
      if (...) return std::vector<int>{}; // actually something difficult to initialize
   }
   if constexpr (A && C)
   {
      throw 5;
      // fake return to declare return type - same type as if constexpr (A) above
      // return std::move(std::declval<std::vector<int>>()); // static assert in std library
      return std::move(*static_cast<std::vector<int>*>(nullptr)); // it works! is there any better way?
   }
   else return std::array<double, 5>{}; 
}
c++
Martin Hope
Chameleon
Asked: 2024-08-25 03:58:39 +0800 CST
  • 5

我看了 Scott Meyers 关于通用引用的视频，他告诉我，任何时候使用通用引用时，都必须像这样转发它：

template<typename T>
auto func(T &&a) { return ++std::forward<T>(a); }

然后推论this我们得到：

auto member_func(this auto &&self) { return self.member_variable; }

这里在哪儿std::forward<???>(self).member_variable？我错过了什么？

c++
Martin Hope
Chameleon
Asked: 2024-05-26 16:24:55 +0800 CST
  • 4

我在 2.5 年前就从汇编转向了 C 和 C++。

我向 C 和 C++ 继承了汇编中隐含的一些东西，但后来我意识到这些东西实际上是未定义的行为。

其中之一是delete ptr和之间的区别delete[] array，对于操作系统来说通常是一次调用，因为没有析构函数。

我最新的假设是以下代码：

std::byte *a = new std::byte[10];
short *b = reinterpret_cast<short*>(a);
delete[] b;

这是未定义的行为吗？根本没有析构函数。

c++
Martin Hope
Chameleon
Asked: 2024-02-03 05:48:45 +0800 CST
  • 10

我在 g++ 13.2 中得到了奇怪的sizeof()结果。[[no_unique_address]]

#include <iostream>

using namespace std;

template<bool T>
struct B
{
    struct Dummy {};

    int *a; // swap position with <below placemark>
    // In this position, results are "16" and "40".
    
    [[no_unique_address]] std::conditional_t<T, Dummy, size_t> y;
    [[no_unique_address]] std::conditional_t<T, Dummy, size_t> x;
    [[no_unique_address]] std::conditional_t<T, Dummy, size_t> h;
    [[no_unique_address]] std::conditional_t<T, Dummy, size_t> w;
    
    // <below placemark>
    // In this position, results are "8" and "40".
    
};

int main()
{
    cout << sizeof(B<true>) << "\n";
    cout << sizeof(B<false>) << "\n";
}

结果是

16
40

但如果你改变int *a;到线条之后的位置[[no_unique_address]]，你会得到

8
40

另外，只有一行[[no_unique_address]]，并且前面有成员指针变量，结果是正确的：

8
16

我阅读了相关文档[[no_unique_address]]，但没有具体的内容。

为什么会出现这种情况？

c++