shynur's questions

我已经尝试std::enable_if过requires：

template <typename Ret>
struct promise_type {
  auto get_return_object() {/*...*/}
  auto initial_suspend() {/*...*/}

  auto return_void()
    -> std::enable_if_t<std::is_void_v<Ret>> {/*...*/}
  auto return_value(Ret)
    -> std::enable_if_t<!std::is_void_v<Ret>> {/*...*/}

  void unhandled_exception() {/*...*/}
  auto final_suspend() noexcept {/*...*/}

  // Rest of promise_type's definition ...
};

In file included from src/TestSyncTask.cpp:1:
In file included from include/asyncxx/SyncTask.hpp:2:
In file included from /usr/local/lib/gcc/x86_64-pc-linux-gnu/15.0.1/../../../../include/c++/15.0.1/coroutine:48:
/usr/local/lib/gcc/x86_64-pc-linux-gnu/15.0.1/../../../../include/c++/15.0.1/type_traits:2837:44: error: no type named 'type' in 'std::enable_if<false>'; 'enable_if' cannot be used to disable this declaration
 2837 |     using enable_if_t = typename enable_if<_Cond, _Tp>::type;
      |                                            ^~~~~
include/asyncxx/SyncTask.hpp:12:36: note: in instantiation of template type alias 'enable_if_t' requested here
   12 |         auto return_void() -> std::enable_if_t<std::is_void_v<Ret>> {}
      |                                    ^
src/TestSyncTask.cpp:4:15: note: in instantiation of member class 'SyncTask<int>::promise_type' requested here
    4 | SyncTask<int> async_main(const int argc, const char *const argv[]) {
      |               ^
1 error generated.

template <typename Ret>
struct promise_type {
  auto get_return_object() {/*...*/}
  auto initial_suspend() {/*...*/}

  auto return_void() requires std::is_void_v<Ret> {/*...*/}
  auto return_value(Ret) requires (!std::is_void_v<Ret>) {/*...*/}

  void unhandled_exception() {/*...*/}
  auto final_suspend() noexcept {/*...*/}

  // Rest of promise_type's definition ...
};

src/TestSyncTask.cpp:4:15: error: the coroutine promise type 'promise_type' declares both 'return_value' and 'return_void'
    4 | SyncTask<int> async_main(const int argc, const char *const argv[]) {
      |               ^
include/asyncxx/SyncTask.hpp:12:14: note: member 'return_void' first declared here
   12 |         auto return_void() requires std::is_void_v<Ret> {}
      |              ^
include/asyncxx/SyncTask.hpp:13:14: note: member 'return_value' first declared here
   13 |         auto return_value(Ret val) requires (!std::is_void_v<Ret>) {
      |              ^
1 error generated.

我该如何修复此问题？

在 GCC 15 中，std::noop_coroutine的定义是

{ return std::noop_coroutine_handle(); }

std::noop_coroutine_handle定义为：

using noop_coroutine_handle = std::coroutine_handle<std::noop_coroutine_promise>;

为了获得无操作协程，我们编写

std::noop_coroutine()

我猜这相当于

std::noop_coroutine_handle{}

和

std::coroutine_handle<std::noop_coroutine_promise>{}

因此我相信标准库只需要提供std::noop_coroutine_promise（以及使用它作为模板参数的某些专业化）。

为什么标准引入了三个新符号？（感觉有点武断 - 只是我的个人观点。）

constexpr函数可以在运行时调用，或者在编译时调用（如果其参数是constexpr ）。

我希望实现类似这样的功能：

constexpr auto f() {
    /* some code ... */

    if constexpr ("called in compilation time") {
        // ...
    } else {
        // ...
    }

    /* rest code ... */
}

我该如何做？

我知道(void)0在 C/C++ 中这是无操作的。但是，当我查看 中的代码时<cassert>，我看到了void (0)。

我猜是类似int (0)或 的东西int{0}。我也试过了void{}，它有效。这似乎是 的零初始化void。

但是void是一种不完整的类型，为什么编译器不抱怨？（g++-14 -std=c++23 -Wall）

我在 PostgreSQL、AlaSQL 和其他一些 RDBMS 中尝试过：

SELECT 1 AS one,  1  * 2 AS two;  -- works
SELECT 1 AS one, one * 2 AS two;  -- doesn't

看来他们不支持。

编辑：

正如@juergen d在评论中提到的：

您可以在 MySQL 中执行此操作：https://stackoverflow.com/a/18020948/575376

上面的示例显示了不同 RDBMS 之间的差异。这就是我问这个问题的原因。

如果 ISO SQL 不能保证这种行为，那么我会尽力避免它。 不幸的是，似乎有些人觉得这是一个无用的问题（可能确实如此，但这对我来说很重要，因为我想尽可能编写可移植的代码）。

所以我想知道这是否是一个ISO SQL行为。
如果提供具体参考材料的链接，我们将不胜感激。

我并不是要求提供描述不存在的功能的文档。如果有人挑剔，也许我应该重新表述一下这个问题：ISO SQL 是否指定SELECT是整体执行，还是可以部分执行？