主页 / user-20716663

Konvt's questions

Martin Hope
Konvt
Asked: 2025-01-10 01:54:33 +0800 CST
  • 9

在 C++ 中，我按noexcept以下情况标记一个函数：

函数本身不会抛出异常，但是其值类型参数在构造时可能会抛出异常。

下面的代码演示了这种情况：

struct A {
    A(bool will_throw) {
        std::cerr << "Ctor of A\n";
        if (will_throw) throw std::runtime_error("An exception from A");
    }
    A(A&& lhs) noexcept {
        std::cerr << "Move ctor of A\n";
    }
    ~A() noexcept = default;
};

struct B {
    A mem_;

    // Exceptions are thrown during parameter passing, not inside the function
    // Thus it isn't an UB I think.
    B(A value = A(true)) noexcept : mem_{std::move(value)} {/* do nothing */}
    ~B() noexcept = default;
};

在这段代码中，的构造函数B被标记为noexcept，默认A(true)构造函数可能会抛出异常，但我相信这不会导致未定义的行为，因为异常发生在参数传递期间，而不是函数体内。

测试程序在这里。

我的问题是：

在类似情况下，用 标记构造函数和其他函数是否安全noexcept？这种做法是否可以广泛应用，特别是在函数本身不引发任何异常的情况下？

c++
Martin Hope
Konvt
Asked: 2025-01-10 00:12:57 +0800 CST
  • 7

在标准库中，异常类的构造函数的参数类型，如std::runtime_error，遵循以下模式：

runtime_error( const std::string& what_arg ); // (1)
runtime_error( const char* what_arg );        // (2)
runtime_error( const runtime_error& other );  // (3)

令我感到困惑的是，使用 (1)const std::string&代替了std::string，这显然会导致构造函数内部出现额外的复制操作。

如果参数类型是std::string，不仅可以避免额外的复制操作，而且也是noexcept；这是我最近意识到的一个结论：

如果标记为的函数noexcept在其构造期间具有可能引发异常类型的参数，那么即使保证会引发异常，也不会导致程序因异常而终止。

测试程序已证实了这一点。

那么，为什么标准库异常构造函数参数列表不使用std::string？或者我的理解和结论以及测试程序是错误的，甚至是未定义的行为？

c++
Martin Hope
Konvt
Asked: 2023-10-19 23:18:23 +0800 CST
  • 6

我编写了以下在编译时使用字符串的代码：

template<char... Chars>
struct CnstString {
    template<char... Aped>
    using push_back = CnstString<Chars..., Aped...>;
    constexpr static char value[] = {Chars...};
};

当我像这样使用它时就很好：

#include <iostream>
using str = CnstString<'H', 'e', 'l', 'l', 'o', '\0'>;
int main()
{
    std::cout << str << std::endl;
    return 0; // it will output "Hello"
}

我想要做的是使用递归模板结构体，在编译时拼接上面代码给出的字符串，并将 a 追加'\0'到递归终点处的数组中。

我编写这段代码的原因是因为我想多次连接同一个字符串。显然我不能像 那样将相同的字符串连接在一起"Hello""Hello"。

递归模板结构如下所示：

template<int N, typename Str>
struct RepeatStr {
    using ret = RepeatStr<N-1, Str>; // this is an error, I don't know how to pass parameters
};
template<typename Str>
struct RepeatStr<-1, Str> {
    using ret = Str:: template push_back<'\0'>;
};

但是，我发现我不知道如何使用 Str 中的字符向自身追加字符。

有什么不对？或者在编译时根本不可能做到？

c++