主页 / user-11185987

Roger World's questions

Martin Hope
Roger World
Asked: 2025-04-09 14:52:51 +0800 CST
  • 9

我正在探索 C++23 中引入的新推断功能，并试图了解如何将其与奇异循环模板模式 (CRTP) 有效结合，以实现多态行为，而无需依赖传统的虚函数。

我的目标是以类型擦除或半多态的方式管理派生对象（例如形状、处理器等）的集合，同时仍然可以获得静态多态性的好处，并可能减少间接和动态分配。

#include <vector>
#include <iostream>

template <typename Derived>
struct Base {
    void process(this Derived& self) {
        self.impl(); // supposed to call derived's impl()
    }
};

struct DerivedA : Base<DerivedA> {
    void impl() {
        std::cout << "DerivedA::impl\n";
    }
};

struct DerivedB : Base<DerivedB> {
    void impl() {
        std::cout << "DerivedB::impl\n";
    }
};

int main() {
    std::vector</* ??? */> collection;

    collection.push_back(DerivedA{});
    collection.push_back(DerivedB{});

    for (auto& obj : collection) {
        obj.process(); // call the correct impl() for each type
    }
}

我知道这std::variant是一种解决方法，但我正在寻找其他高性能解决方案。理想情况下，我希望避免动态分配和虚函数的开销，并使用现代 C++23 特性（例如使用 CRTP 推断这一点）来获得静态多态性的好处。

c++
Martin Hope
Roger World
Asked: 2024-10-19 01:32:18 +0800 CST
  • 6

如cppreference中所示。

关键字auto可以用来摆脱模板concept。

// Constrained C++20 function template:
template<Hashable T>
void f(T) {}
//
// Alternative ways to apply the same constraint:
// template<typename T>
//     requires Hashable<T>
// void f(T) {}
//
// template<typename T>
// void f(T) requires Hashable<T> {}
//
void f(Hashable auto /* parameter-name */) {}

我的问题是当我有两个模板参数时如何使用相同的技术auto。

template<typename T1, typename T2> concept MyConcept<T1, T2> = ....

template<typename T1, typename T2> 
void func(MyConcept<T1, T2> c) { ... }
// Why cannot use :
void func(MyConcept auto c) { ... }
c++
Martin Hope
Roger World
Asked: 2024-09-24 19:29:43 +0800 CST
  • 6

我有一个duration字符串（例如）"13:00:00"，并time_point使用函数将 UTC 时间字符串解析为 utc_time std::chrono::parse。

现在给定此持续时间和时区，例如"America/New_York"。如何time_point使用 UTC 作为通用时区将我的持续时间与今天的持续时间作为时间点进行比较。cppreference chrono 的文档 tz 尚未完成。

c++