thảo luận [C++] Thớt bàn luận, hỏi đáp thắc mắc về C++

seastar đã nói:

Cái này là do strong exception guarantee. Tức là nếu exception xảy ra thì cái container phải đc đảm bảo state của nó như lúc chưa gọi cái push_back. Nên nếu move constructor mà k đảm là k có exception thì nó k gọi. Vì move rồi mà có exception thì còn cái nịt, sao mà recover lại đc. Nó phải gọi copy thôi. Tạo ra cái mới. Giữ nguyên cái cũ, exception xảy ra thì như chưa có chuyện gì xảy ra,.
https://en.cppreference.com/w/cpp/container/vector/push_back

Nhấp để mở rộng...

Spaghetti Code đã nói:

ừm ờm thêm cái strong exception guarantee này nữa

cái toy đề cập là basic exception guarantee thoy, 1 trong các điều kiện của nó là có exception thì phải bảo đảm ko có leak mem. Strong exception guarantee thì còn có ràng buộc kĩ hơn basic nữa: https://en.cppreference.com/w/cpp/language/exceptions#Exception_safety

lắm ngôn từ bí hiểm

Nhấp để mở rộng...

void rvalue_ref(int &&i) { // (1)
  std::cout << i;
}

void lvalue_ref(const int &i) { //(2)
  std::cout << i;
}

snake_case đã nói:

C++:

void rvalue_ref(int &&i) { // (1)
  std::cout << i;
}

void lvalue_ref(const int &i) { //(2)
  std::cout << i;
}

Không biết cái (1) có tạo biến ngầm như cái (2) không thím Kân?

Nhấp để mở rộng...

snake_case đã nói:

C++:

class A {
public:
  A(){};
};

class B {
public:
  B() = default; // Từ c++ 11
};

Mọi người cho mình hỏi điều khác biệt khi thêm từ khóa default vào constructor với?

Nhấp để mở rộng...

vinadevs đã nói:

Cái này là một tính năng từ c++11 thêm vào để nói cho compiler là gen ra giùm mình mấy cái hàm rule of 5 để mình khỏi phải tự code đó. Bình thường thì compiler sẽ tự gen ra nhưng khi tự define 1 trong 5 hàm kia thì cái tính năng gen sẽ bị ngắt nên mình phải tự implement hết mấy cái còn lại rất mất thời gian.

Nhấp để mở rộng...

snake_case đã nói:

Em biết vấn đề là tự define thì phải explicitly define những cái còn lại rồi. Nhưng ý chính em đang băn khoăn là nếu define thì dùng cách trên hay cách dưới và ưu nhược điểm nó là gì. Em mò stackoverflow thì answer vòng vo quá mà trình em thì gà.

Nhấp để mở rộng...

struct A {
    std::string s;
    int n;
    double f;
    A() : s{"default"}, n{11}, f{2.2} {}
    A(const std::string& s, int n) : s{s}, n{n} {} // quên `f`
    A(int n, double f) : s{"default"}, n{n}, f{f} {} // ko quên `s` nhưng "default" bị lặp lại
};

struct A {
    std::string s{"default"};
    int n{11};
    double f{2.2};
    A() = default; // buộc phải viết default ctor vì có 2 user-defined ctors ở dưới
                   // vẫn prefer A() = default ở đây hơn là ctor rỗng A() {}
    A(const std::string& s, int n) : s{s}, n{n} {} // quên `f`, ko sao, `f` default là 2.2
    A(int n, double f) : n{n}, f{f} {} // bỏ `s` ko sao
};

Spaghetti Code đã nói:

default ctor thì trivial vs non-trivial có lẽ ko khác biệt mấy,

Nhấp để mở rộng...

#include <cstdio>
struct A {
    int x;
    A() {}
};
struct B {
    int x;
    B() = default;
};

int main()
{
    A a;
    printf("A = %d\n", a.x);
    A a2{};
    printf("A2 = %d\n", a2.x);
    B b;
    printf("B = %d\n", b.x);
    B b2{};
    printf("B2 = %d\n", b2.x);
}

1) if T is a class type with no default constructor or with a user-provided or deleted (since C++11) default constructor, the object is default-initialized;

2) if T is a class type with a default constructor that is neither user-provided nor deleted (since C++11) (that is, it may be a class with an implicitly-defined or defaulted default constructor), the object is zero-initialized and the semantic constraints for default-initialization are checked, and if T has a non-trivial default constructor, the object is default-initialized;

3) if T is an array type, each element of the array is value-initialized;

4) otherwise, the object is zero-initialized.

Nhấp để mở rộng...

bribnt đã nói:

Cũng khác nhiều đó.
VD case này:

C++:

#include <cstdio>
struct A {
    int x;
    A() {}
};
struct B {
    int x;
    B() = default;
};

int main()
{
    A a;
    printf("A = %d\n", a.x);
    A a2{};
    printf("A2 = %d\n", a2.x);
    B b;
    printf("B = %d\n", b.x);
    B b2{};
    printf("B2 = %d\n", b2.x);
}

Thì chỉ có dòng cuối cùng mới đảm bảo ra bằng 0, còn lại là random. Vì chỉ có dòng đó mới thỏa mãn điều kiện để gọi zero-initialized.



https://en.cppreference.com/w/cpp/language/value_initialization
https://en.cppreference.com/w/cpp/language/default_initialization

Nếu build optimize thì hầu hết compiler sẽ tự zero-initialized, tuy nhiên cũng không nên quá dựa vào điều này.

// TB: test build local -O0 mới ra random, dùng mấy cái online nó có cơ chế gì đó nên ra 0 hết.

Nhấp để mở rộng...

Spaghetti Code đã nói:

nick xịn bị ban hết ròi ko lai được

cái kiểu a{} mà a được zero-init thì chắc giống với array gì đó nhỉ

viết biến primitive nào trong class cứ phải init hết cho lành

à bữa vào discord cũng tưởng int n{}; thì n ko được init, bị tụi nó sửa là n bảo đảm = 0 vậy mà vẫn ko nhớ

Nhấp để mở rộng...

Spaghetti Code đã nói:

nick xịn bị ban hết ròi ko lai được

cái kiểu a{} mà a được zero-init thì chắc giống với array gì đó nhỉ

viết biến primitive nào trong class cứ phải init hết cho lành

à bữa vào discord cũng tưởng int n{}; thì n ko được init, bị tụi nó sửa là n bảo đảm = 0 vậy mà vẫn ko nhớ

Nhấp để mở rộng...

snake_case đã nói:

Thím cho cái discord invite link cái server c++ thím đang chơi với

Nhấp để mở rộng...

Cà Muối Chua đã nói:

C và C++ thì khác nhau nhiều không mấy bác

Nhấp để mở rộng...

Cà Muối Chua đã nói:

C và C++ thì khác nhau nhiều không mấy bác

Nhấp để mở rộng...

Caiduf9527 đã nói:

Có thím nào cho em hỏi cái g++ -fexception nó khác với không có exception như thế nào không,
Theo em test thì try catch trong C++ thì nó cùng 1 process nên nếu không có -fexception thì nó không handle được segfault thì phải?

Nhấp để mở rộng...

seastar đã nói:

https://gcc.gnu.org/onlinedocs/gcc/Code-Gen-Options.html
Enable exception handling. Generates extra code needed to propagate exceptions.

Bật cờ đó lên thì mới try-catch đc

Nhấp để mở rộng...

Caiduf9527 đã nói:

không bật thì vẫn try-catch bình thường, có điều không handle được segfault

Nhấp để mở rộng...