主页

coding

Martin Hope
Fantastic Mr Fox
Asked: 2025-04-23 06:40:49 +0800 CST
  • 21

在下面的代码中：

struct copy_only
{
    copy_only() = default;
    copy_only(const copy_only&)            = default;
    copy_only& operator=(const copy_only&) = default;
    copy_only(copy_only&&)                 = delete;
    copy_only& operator=(copy_only&&)      = delete;
    ~copy_only()                           = default;
};


std::vector<copy_only> v;
copy_only c{};
v.push_back(c);

在 MSVC 上我们得到错误：

错误 C2280：'copy_only::copy_only(copy_only &&)'：尝试引用已删除的函数

这来自于向量实现中push_back(const&)调用的emplace_back实现：

注意：编译类模板成员函数'void std::vector<copy_only,std::allocator<copy_only>>::push_back(const _Ty &)'

注意：请参阅正在编译的函数模板实例化“_Ty &std::vector<_Ty,std::allocator<_Ty>>::_Emplace_one_at_back<const _Ty&>(const _Ty &)”的引用

这可以用 gcc 和 clang 编译。这仅仅是 MSVC 编译器在最简单的向量示例上出现的严重 bug 吗？还是说存在一些标准问题，导致 gcc 和 clang 只是敷衍了事，阻止了这种用法？

实例。

c++
Martin Hope
Howard Hinnant
Asked: 2025-04-21 08:30:25 +0800 CST
  • 22

给定年份、月份和日期，如何找到该日期或之后的下一个工作日？例如，如果我有 2025-04-28，如何找到 2025-04-28 之后的星期五，即 2025-05-02？

那么如何查找前一个工作日而不是下一个工作日呢？

我可以从价值观开始int，将它们放入，chrono然后int 再取回价值观吗？

如果输入日期已经在目标星期几，那么在获取输入日期和获取输入日期的一周之间需要进行什么更改？

c++
Martin Hope
Fedor
Asked: 2025-04-15 01:01:44 +0800 CST
  • 21

写这样的内容合法吗？

#include <memory>

struct A {
    int i, j;
    constexpr A() : i((std::construct_at(&j, 2), j-1)) {}
};
constexpr A a{};
static_assert(a.i == 1);
static_assert(a.j == 2);

这里，i-member 初始化器首先j使用 初始化成员std::construct_at，然后在 中读取其值j-1。

实践中我发现 GCC、MSVC 和 Clang 都能接受这个程序。在线演示：https://gcc.godbolt.org/z/YzEoPPj96

但 Clang 发出警告：

<source>:5:50: warning: field 'j' is uninitialized when used here [-Wuninitialized]
    5 |     constexpr A() : i((std::construct_at(&j, 2), j-1)) {}
      |                                                  ^

这看起来自相矛盾，因为读取常量表达式中未初始化的值必然会导致硬失败。程序是否格式正确，只是诊断错误？

感谢@TedLyngmo，这里有一个更复杂的堆分配示例：

#include <string>

struct A {
    std::string i, j;

    constexpr A()
        : i(((void)std::construct_at(&j,
                                     "Hello world, this is very funny indeed "
                                     "and this is a long string"),
             j + " with some exta in it"))
        , j([k=std::move(j)]()mutable { return std::move(k); }()) {}
};

static_assert( A{}.i.length() == 85 );
static_assert( A{}.j.length() == 64 );

在线演示：https://gcc.godbolt.org/z/zcb4hbhY3

c++
Martin Hope
Petr Filipský
Asked: 2025-03-23 21:39:40 +0800 CST
  • 22

在定义泛型 fallback 时，我遇到了传统SFINAE（使用type_traits和std::void_t）与现代C++20 概念operator<<之间的意外行为差异。目的很简单：创建一个泛型，仅当通过参数相关查找 (ADL)operator<<未找到任何现有自定义定义时才启用。operator<<

使用特征（ ）的传统基于SFINAEis_std_streamable的检测工作符合预期，其定义为：

template <class T, class = void>
struct is_std_streamable : std::false_type {};

template <class T>
struct is_std_streamable<T, std::void_t<decltype(std::declval<std::ostream&>() << std::declval<const T&>())>> : std::true_type {};

基于概念的检测（StdStreamable）定义为：

template <class T>
concept StdStreamable = requires(const T t, std::ostream& os) {
    { os << t } -> std::same_as<std::ostream&>;
};

通用的后备operator<<看起来像这样（requires注释掉的子句）：

template <StdPrintable T>
// requires(!StdStreamable<T>)
// requires(!is_std_streamable<T>::value)
std::enable_if_t<!is_std_streamable<T>::value, std::ostream&>
operator<<(std::ostream& os, T const& val) {
...
}

取消注释基于概念requires的子句（requires(!StdStreamable<T>)或）时requires(!is_std_streamable<T>::value)，GCC和Clang都会产生以下循环约束错误：

error: satisfaction of constraint 'StdStreamable<T>' depends on itself

我理解，在定义新版本的子句std::declval<std::ostream&>() << std::declval<const T&>()中使用表达式可能会被编译器解释为循环依赖。但为什么C++20 概念会触发此循环约束问题，而传统的SFINAE不会？这种行为是标准规定的，还是概念的已知限制，或者可能是编译器错误？requiresoperator<<

完整、最小、可重现的示例和其他详细信息：

提前致谢。

c++
Martin Hope
Catskul
Asked: 2025-03-04 06:57:53 +0800 CST
  • 22

语境：

在 C++ 中，可以创建对“未知边界数组”的引用。

例子：const char (&)[]

在 C++20 之前，clang（14.x、18.x）不允许您将对已知边界的数组的引用强制转换为对未知边界的数组的引用，并且会失败并出现错误：

对不完整类型“const char[]”的引用无法绑定到类型“const char[5]”的左值

对于 C++20，clang 现在允许这样做。

另一方面，gcc 一直允许这样做，一直追溯到 C++98。

问题：

  • 这仅仅是标准上的分歧吗？
  • 其中一个人是不是搞错了？
  • C++20 是否改变或澄清了标准以使其更加明确有效？

例子

https://godbolt.org/z/66sh8a5z1

int main() {
    using StringLitRef = const char (&)[];
    StringLitRef array = "derp"; // works on g++ for any standard and clang with c++20
    return 0;
}
c++
Martin Hope
Stefan Pochmann
Asked: 2025-01-13 23:24:07 +0800 CST
  • 21

集合是无序的，或者说它们的顺序是一个实现细节。我对这个细节很感兴趣。我看到了一个让我惊讶的案例：

print({2, 3, 10})
x = 2
print({x, 3, 10})

输出（在线尝试！）：

{3, 10, 2}
{10, 2, 3}

尽管相同的元素以相同的顺序写入，但它们的排序却不同。这是怎么发生的？这是故意为之吗？例如，为了优化查找速度？

我的sys.version和sys.implementation：

3.13.0 (main, Nov  9 2024, 10:04:25) [GCC 14.2.1 20240910]
namespace(name='cpython', cache_tag='cpython-313', version=sys.version_info(major=3, minor=13, micro=0, releaselevel='final', serial=0), hexversion=51183856, _multiarch='x86_64-linux-gnu')
python
Martin Hope
Aleksandr Dubinsky
Asked: 2024-12-23 06:56:21 +0800 CST
  • 19

在 Java 21 和 23 中，java.net.InetAddress声明为

public sealed class InetAddress implements Serializable permits Inet4Address, Inet6Address {

但是，以下代码：

switch (addr) {
     case Inet4Address a -> ...;
     case Inet6Address a -> ...;
};

无法编译：

the switch expression does not cover all possible input values

是我遗漏了什么吗，或者这是一个 Java 错误？

java
Martin Hope
Phillip Borge
Asked: 2024-12-12 20:46:46 +0800 CST
  • 21

我没有将任何东西编译为本机，换句话说，我没有使用native-imageGraalVM。我只是使用 GraalVM 运行相同的 Java 类（相同的 Java 字节码），然后使用常规 Oracle JVM 运行相同的 Java 类（相同的 Java 字节码）。

我使用哪个版本的 Java 或平台并不重要（我在 Linux 和 Mac 上进行了测试）。GraalVM 总是比任何其他常规 JVM 快得多（30 倍）。

看起来常规 JVM 未使用其 JIT 正确优化该方法。请注意，该方法非常简单且很小。

有谁知道为什么会出现这种情况，以及我如何在常规 JVM 中修复这个问题？目前唯一的解决方法是迁移到 GraalVM。编译并运行下面的代码来重现该问题非常容易。只需先使用 Oracle JVM 编译然后运行，然后使用任何 Graal JVM 即可看到差异。

谢谢！

public class OracleJvm23MathBug {

    // simple and small amount of math
    // =====> should be optimized/compiled/inlined for sure!
    private static final long doSomething(int load, int i) {
        long x = 0;
        for (int j = 0; j < load; j++) {
            long pow = (i % 8) * (i % 16);
            if (i % 2 == 0) {
                x += pow;
            } else {
                x -= pow;
            }
        }
        return x;
    }

    /*
     * Execute this with OpenJDK/Zulu/Oracle JVM 23 => average 215 nanoseconds
     * Now execute this with Graal23 JVM 23 => average 7 nanoseconds
     * 
     * This bug can be observed in any platform (I tested on Linux and Mac)
     * 
     * $ java -version 
     * java version "23.0.1" 2024-10-15 
     * Java(TM) SE Runtime Environment (build 23.0.1+11-39)
     * Java HotSpot(TM) 64-Bit Server VM (build 23.0.1+11-39, mixed mode, sharing)
     * 
     * $ java -cp . OracleJvm23MathBug
     * Value computed: -550000000000
     * Measurements: 10000000| Avg Time: 215 nanos | Min Time: 83 nanos | Max Time: 199750 nanos
     * 
     * $ java -version
     * java version "23.0.1" 2024-10-15
     * Java(TM) SE Runtime Environment Oracle GraalVM 23.0.1+11.1 (build 23.0.1+11-jvmci-b01)
     * Java HotSpot(TM) 64-Bit Server VM Oracle GraalVM 23.0.1+11.1 (build 23.0.1+11-jvmci-b01, mixed mode, sharing)
     * 
     * $ java -cp . OracleJvm23MathBug
     * Value computed: -550000000000
     * Measurements: 10000000| Avg Time: 7 nanos | Min Time: 0 nanos | Max Time: 178625 nanos
     */
    public static final void main(String[] args) {
        final int iterations = 10_000_000;
        final int load = 10_000;
        NanoBench bench = new NanoBench();
        long computed = 0;
        for (int i = 0; i < iterations; i++) {
            bench.mark();
            computed += doSomething(load, i);
            bench.measure();
        }
        System.out.println("Value computed: " + computed);
        bench.printResults();
    }

    private static class NanoBench {

        private int measurements;
        private long totalTime, minTime, maxTime, time;
        private final StringBuilder sb = new StringBuilder(128);

        NanoBench() {
            reset();
        }

        public final void reset() {
            totalTime = time = measurements = 0;
            maxTime = Long.MIN_VALUE;
            minTime = Long.MAX_VALUE;
        }

        public final void mark() {
            time = System.nanoTime();
        }

        public final void measure() {
            long lastNanoTime = System.nanoTime() - time;
            totalTime += lastNanoTime;
            minTime = lastNanoTime < minTime ? lastNanoTime : minTime;
            maxTime = lastNanoTime > maxTime ? lastNanoTime : maxTime;
            measurements++;
        }

        public final void printResults() {
            sb.setLength(0);
            sb.append("Measurements: ").append(measurements);
            sb.append("| Avg Time: ").append((long) (totalTime / (double) measurements)).append(" nanos");
            sb.append(" | Min Time: ").append(minTime).append(" nanos");
            sb.append(" | Max Time: ").append(maxTime).append(" nanos\n\n");
            for (int i = 0; i < sb.length(); i++) System.out.print(sb.charAt(i));
        }
    }
}
java
Martin Hope
sleeptightAnsiC
Asked: 2024-11-09 07:18:53 +0800 CST
  • 21

前段时间，我偶然发现了 C 语言构造（例如(expr0, expr1, expr2)）如何求值的想法（有关更多上下文，请参阅“逗号运算符 , 的作用是什么？” ）。

我已经开始尝试这个，特别是在类似函数的宏中，最近发现了一个代码，它被一些编译器拒绝，而其他编译器却可以接受。它看起来类似于以下代码片段：

#include <stdio.h>

int main(void)
{
    int arr[] = {0};
    (1, arr[0]) = 30;  // <--- potentially (in)valid code
    printf("%d\n", arr[0]);
    return 0;
}

如您所见，为了使其工作，(1, arr[0])必须将其求值为左值arr[0]，否则将无法赋值。但是，我不确定上述行为是否有效。它“有意义”，而且我发现了它的用途，但我也明白为什么编译器开发人员会拒绝它。

上述代码被 gcc、clang 和 msvc 拒绝（请注意，msvc 主要是一个 C++ 编译器，而 gcc 和 clang 是 C 前端）：

$ gcc main.c
main.c: In function ‘main’:
main.c:6:21: error: lvalue required as left operand of assignment
    6 |         (1, arr[0]) = 30;
      |                     ^

$ clang main.c -Wno-unused-value
main.c:6:14: error: expression is not assignable
    6 |         (1, arr[0]) = 30;
      |         ~~~~~~~~~~~ ^
1 error generated.

$ cl main.c /nologo
main.c
main.c(6): error C2106: '=': left operand must be l-value

作为比较，g++、clang++ 和 tcc 都可以运行上述代码（注意，tcc 是 C 编译器，而 g++ 和 clang++ 是 C++ 前端）：

$ tcc main.c && ./a.out
30

$ g++ main.c && ./a.out
30

$ clang++ main.c -Wno-unused-value -Wno-deprecated && ./out
30

我还尝试了一些不同的命令选项，例如明确将 msvc 设置为在/std:c++latest和/std:c99模式下运行，或者为 gcc/clang/g++/clang++ 设置不同的选项-std，但它没有改变任何东西。

起初，我以为这是 tcc 中的一个错误，因为它是唯一一款不会拒绝“错误”代码的 C 编译器，但后来我检查了 C++ 前端，我不再那么确定了。尤其是因为 msvc 会拒绝它，而 g++/clang++ 则不会。

  • 我刚刚给出的代码是有效的 C 代码，还是 C++ 代码，或者两者都不是？
  • C/C++ 标准是否描述了这里应该发生什么？
  • 哪些编译器在这里是正确的/错误的？（tcc 和 msvc 看起来很奇怪）

作为参考，我在 x86_64 Linux 上，使用 gcc/g++ 14.2.1、clang 18.1.8、msvc 19.40.33811（通过 wine 运行）和 tcc 0.9.28rc（mob@08a4c52d）。

c++
Martin Hope
The Mad Gamer
Asked: 2024-10-29 23:01:00 +0800 CST
  • 21

C++ 标准库中有一个 new std::inplace_vector，它似乎在编译时具有固定容量。我试图理解std::inplace_vector而不是std::array或 的用例std::vector。它似乎具有固定大小std::inplace_vector容量的优势，就像 一样，但在插入之前不需要对象初始化。但是，与 不同，它具有固定的编译时容量。std::arraystd::vectorstd::inplace_vector

std::inplace_vector有人可以提供一个可能有用的例子吗？

c++
Martin Hope
Chad Feller
Asked: 2024-10-21 05:50:33 +0800 CST
  • 26

以下 bash 脚本：

#!/bin/bash

TEST_VAR=""

if [[ -z $TEST_VAR ]] then
    echo "empty"
else
    echo "$TEST_VAR"
fi

尽管“then”之前缺少一个分号，但在 bash 5.2 中不会引发错误并成功完成，甚至返回0。

在运行 bash 5.1 或 5.0 的系统上运行上述脚本会按预期失败。

这是为什么？bash 在 5.2 版中更改了解析器吗？搜索后，我找不到任何关于此更改的参考资料。bash 是否故意在此处更改了行为，或者这是一个错误？

bash
Martin Hope
Wrench
Asked: 2024-05-05 13:37:20 +0800 CST
  • 27

作为计算机安全入门课程的一部分，我们有一个关于 SQL 注入的简短单元。其中一项作业是一个基本的未经清理的登录页面。预期的解决方案是沿着经典路线的' or 1=1; -- ，但我们始终欢迎学生找到非传统的解决方案。

最近向我提出了这样的解决方案：输入'--'密码似乎执行了成功的 SQL 注入。这将导致查询被评估为如下所示：
SELECT * FROM users WHERE name='admin' AND password=''--'';

这里，--'';不被解析为注释，因为 MariaDB 要求注释后面跟空格。事实上，如果双破折号被解析为注释，则该查询根本不会返回任何内容；password=''同样地，假设密码非空，我们将得到，其计算结果为 false。

末尾的额外一对引号似乎是必要的：将其保留为password=''--;或在其后面插入其他数据 ( password=''--1;) 会导致条件被评估为 false，如预期的那样。

一些快速测试无法在其他数据库中重现这种行为——据我所知，这是 MariaDB 特有的行为。该文档确认两个不带空格的破折号不会被解析为注释，但没有详细说明它们被解析为什么。编辑：不知何故，我设法忽略了 MySQL 中也发生这种情况的事实。事实上，这种行为发生在任何 MySQL 分支（不仅仅是 MariaDB）中。

--当它后面没有空格时会发生什么？为什么它会导致比较结果为 true？

一个玩具示例：

CREATE TABLE users (
  userid INTEGER PRIMARY KEY,
  username TEXT NOT NULL,
  password TEXT NOT NULL
);

INSERT INTO users VALUES (0001, 'admin', 'S3cur3P4ssw0rd!');
INSERT INTO users VALUES (0002, 'generic_user', 'Password');

SELECT * FROM users WHERE username='admin' AND password=''; -- empty password, query returns no users
SELECT * FROM users WHERE username='admin' AND password=''-- ''; -- parsed as comment, equivalent to above query, returns no users
SELECT * FROM users WHERE username='admin' AND password=''--''; -- query returns admin user
SELECT * FROM users WHERE username='admin' AND password=''--; -- query returns zero users
SELECT * FROM users WHERE username='admin' AND password=''--1; -- query returns zero users
mysql
Martin Hope
Waket Zheng
Asked: 2024-05-04 14:19:19 +0800 CST
  • 29

通常，如果您尝试为同一关键字参数传递多个值，您会收到 TypeError：

In [1]: dict(id=1, **{'id': 2})
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
Input In [1], in <cell line: 1>()
----> 1 dict(id=1, **{'id': 2})

TypeError: dict() got multiple values for keyword argument 'id'

但是，如果您在处理另一个异常时执行此操作，则会收到 KeyError：

In [2]: try:
   ...:     raise ValueError('foo') # no matter what kind of exception
   ...: except:
   ...:     dict(id=1, **{'id': 2}) # raises: KeyError: 'id'
   ...: 
---------------------------------------------------------------------------
ValueError                                Traceback (most recent call last)
Input In [2], in <cell line: 1>()
      1 try:
----> 2     raise ValueError('foo') # no matter what kind of exception
      3 except:

ValueError: foo

During handling of the above exception, another exception occurred:

KeyError                                  Traceback (most recent call last)
Input In [2], in <cell line: 1>()
      2     raise ValueError('foo') # no matter what kind of exception
      3 except:
----> 4     dict(id=1, **{'id': 2})

KeyError: 'id'

这里发生了什么？一个完全不相关的异常如何影响dict(id=1, **{'id': 2})抛出什么样的异常？

对于上下文，我在调查以下错误报告时发现了此行为：https://github.com/tortoise/tortoise-orm/issues/1583

这已在 CPython 3.11.8、3.10.5 和 3.9.5 上重现。

python
Martin Hope
user924
Asked: 2024-03-20 03:12:31 +0800 CST
  • 44

请投票给问题跟踪器 https://issuetracker.google.com/issues/330368298

在此输入图像描述

我刚刚通过查看 Firebase Crashlytics 注意到我的应用程序发生了一些崩溃，这似乎与尝试使用SharedPreferences但由于强制转换异常而无法获得首选项的 Google AdMob 库相关：

在此输入图像描述

在此输入图像描述

代码文字：

Fatal Exception: java.lang.ClassCastException
java.lang.Integer cannot be cast to java.lang.String
android.app.SharedPreferencesImpl.getString (SharedPreferencesImpl.java:302)
com.google.android.gms.ads.internal.scionintegration.a.onSharedPreferenceChanged (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:73)
com.google.android.gms.ads.internal.scionintegration.m.a (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:106)
com.google.android.gms.ads.nonagon.a.s (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:439)
com.google.android.gms.ads.nonagon.a.b (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:5)
com.google.android.gms.ads.ChimeraMobileAdsSettingManagerCreatorImpl.getMobileAdsSettingManager (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:52)
com.google.android.gms.ads.internal.client.bx.bR (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:40)
m.ajn.onTransact (:com.google.android.gms.policy_ads_fdr_dynamite@[email protected]:21)
android.os.Binder.transact (Binder.java:1173)
obj.gL (:com.google.android.gms@[email protected] (190400-607434947):8)
com.google.android.gms.ads.internal.client.ay.getMobileAdsSettingManager (:com.google.android.gms@[email protected] (190400-607434947):12)
com.google.android.gms.ads.MobileAdsSettingManagerCreatorImpl.getMobileAdsSettingManager (:com.google.android.gms@[email protected] (190400-607434947):42)
com.google.android.gms.ads.internal.client.az.fL (:com.google.android.gms@[email protected] (190400-607434947):40)
obk.onTransact (:com.google.android.gms@[email protected] (190400-607434947):101)
android.os.Binder.transact (Binder.java:1173)
com.google.android.gms.internal.ads.zzavg.zzbh (com.google.android.gms:play-services-ads-base@@22.6.0:1)
com.google.android.gms.ads.internal.client.zzcp.zze (zzcp.java:169)
com.google.android.gms.ads.internal.client.zzeq.zza (zzeq.java:169)
com.google.android.gms.ads.internal.client.zzaq.zzc (com.google.android.gms:play-services-ads-lite@@22.6.0:169)
com.google.android.gms.ads.internal.client.zzax.zzf (com.google.android.gms:play-services-ads-lite@@22.6.0:126)
com.google.android.gms.ads.internal.client.zzax.zzd (com.google.android.gms:play-services-ads-lite@@22.6.0:126)
com.google.android.gms.ads.internal.client.zzej.zzA (com.google.android.gms:play-services-ads-lite@@22.6.0:17)
com.google.android.gms.ads.internal.client.zzej.zzm (zzej.java:53)
com.google.android.gms.ads.MobileAds.initialize (com.google.android.gms:play-services-ads-lite@@22.6.0:53)
com.MY_APP_PACKAGE.ads.AdMob.initAdmob (AdMob.kt:128)

有人有这个问题吗？

我还有其他使用 22.6.0 版本 Admob 的应用程序，我没有注意到它们发生此类崩溃，而对于这个应用程序，它只发生在 6 个用户（约 23 万用户）中，但仍然......为什么会发生这种情况......

更新：

发现其他人也出现同样的问题：https ://groups.google.com/g/google-admob-ads-sdk/c/88UHAaWElsc

更新2：

现在我遇到了更多崩溃，现在它影响了其他应用程序

ps 另外，Admob Dashboard API 今天也关闭了，所以 mb 这是相关的

Reddit 主题

谷歌问题追踪器

临时解决方案：如果您为应用程序设置了 Firebase Remote Config 以禁用广告，MobileAds.initialize()如果您添加了特定参数，这也会阻止调用。不幸的是，就我而言，我只有参数来启用/禁用应用程序屏幕上的广告类型（横幅、插页式广告），但没有参数来阻止加载同意信息（UMP 库）和MobileAds.initialize()，但我现在会添加它以供将来使用案例...

Martin Hope
MarkB
Asked: 2024-02-17 06:17:14 +0800 CST
  • 19

以下代码生成的程序集在使用-O3. 为了完整起见，代码始终在 GCC 13.2 中执行 SIMD，而从不在 clang 17.0.1 中执行 SIMD。

#include <array>

__attribute__((noinline)) void fn(std::array<int, 4>& lhs, const std::array<int, 4>& rhs)
{
    for (std::size_t idx = 0; idx != 4; ++idx) {
        lhs[idx] = lhs[idx] + rhs[idx];
    }
}

这是Godbolt 中的链接。

这是 GCC 12.3 的实际汇编（使用 -O3）：

fn(std::array<int, 4ul>&, std::array<int, 4ul> const&):
        lea     rdx, [rsi+4]
        mov     rax, rdi
        sub     rax, rdx
        cmp     rax, 8
        jbe     .L2
        movdqu  xmm0, XMMWORD PTR [rsi]
        movdqu  xmm1, XMMWORD PTR [rdi]
        paddd   xmm0, xmm1
        movups  XMMWORD PTR [rdi], xmm0
        ret
.L2:
        mov     eax, DWORD PTR [rsi]
        add     DWORD PTR [rdi], eax
        mov     eax, DWORD PTR [rsi+4]
        add     DWORD PTR [rdi+4], eax
        mov     eax, DWORD PTR [rsi+8]
        add     DWORD PTR [rdi+8], eax
        mov     eax, DWORD PTR [rsi+12]
        add     DWORD PTR [rdi+12], eax
        ret

我非常想知道 a) 前 5 条汇编指令的目的，以及 b) 是否可以采取任何措施使 GCC 12.3 发出 GCC 13.2 的代码（理想情况下，无需手动编写 SSE）。

c++
Martin Hope
yushizhao
Asked: 2024-02-04 13:29:09 +0800 CST
  • 19

从文档中可以看出：

pub fn new(x: T) -> Box 在堆上分配内存，然后将 x 放入其中。

但“地点”是一个棘手的词。如果我们写

let arr_boxed = Box::new([0;1000]);

会[0;1000]在堆上就地初始化吗？

如果我们写

let arr = [0;1000];
let arr_boxed = Box::new(arr);

[0;1000]编译器是否足够聪明，可以首先在堆上初始化？

rust
Martin Hope
Amir reza Riahi
Asked: 2023-11-16 20:53:19 +0800 CST
  • 19

这是 python 3.10 中列表理解的反汇编：

Python 3.10.12 (main, Jun 11 2023, 05:26:28) [GCC 11.4.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import dis
>>> 
>>> dis.dis("[True for _ in ()]")
  1           0 LOAD_CONST               0 (<code object <listcomp> at 0x7fea68e0dc60, file "<dis>", line 1>)
              2 LOAD_CONST               1 ('<listcomp>')
              4 MAKE_FUNCTION            0
              6 LOAD_CONST               2 (())
              8 GET_ITER
             10 CALL_FUNCTION            1
             12 RETURN_VALUE

Disassembly of <code object <listcomp> at 0x7fea68e0dc60, file "<dis>", line 1>:
  1           0 BUILD_LIST               0
              2 LOAD_FAST                0 (.0)
        >>    4 FOR_ITER                 4 (to 14)
              6 STORE_FAST               1 (_)
              8 LOAD_CONST               0 (True)
             10 LIST_APPEND              2
             12 JUMP_ABSOLUTE            2 (to 4)
        >>   14 RETURN_VALUE

据我了解，它创建了一个名为的代码对象listcomp，该对象执行实际迭代并返回结果列表，并立即调用它。我无法理解需要创建一个单独的函数来执行这项工作。这是一种优化技巧吗？

python
Martin Hope
Panagiotis Syskakis
Asked: 2023-08-17 21:24:06 +0800 CST
  • 19

背景：

我正在尝试移植一个库以在 MSVC 上进行编译。该库将数据存储在向量元组 ( std::tuple<std::vector<Ts>...>) 中，并使用自定义迭代器同时迭代所有向量（类似于 zip_iterator 的作用）。

迭代器定义的类型如下所示（假设Ts...-> <int, int>）：

`value_type` is `std::tuple<int, int>`  
`reference`  is `std::tuple<int&, int&>`

问题是，在最新的 MSVC (v. 19.35) 上，这个迭代器不满足 的概念std::input_iterator，而在 gcc/clang 上却满足它。

经过进一步调查，我发现失败是由于std::common_reference元组上的概念行为不一致造成的。

问题：

以下static_assert内容在 MSVC 上失败，而在 gcc/clang 上不会失败

using T = std::tuple<int, int>&;
using U = std::tuple<int&, int&>;
static_assert(std::common_reference_with<T, U>, "failed common_reference_with");

这是Godbolt上的（还有一个迭代器示例）

问题：

像这样的类型std::tuple<int, int>&应该有一个“ common_reference_with”std::tuple<int&, int&>吗？MSVC 说不，gcc 说可以。
根据 C++20 及以后的标准，这两种行为中的哪一种是预期的？

是否有任何简单的方法可以使该迭代器成功通过 MSVC 上的迭代器概念检查（即强制这两种类型具有共同的引用）？

我还在 Eric Niebler 的std::common_reference (SO)和代理迭代器（在他的博客上）上找到了一些很好的答案。

但是，我不清楚 C++20 及更高版本中应该发生什么。

c++