Try   HackMD

C++

主要參考文獻

使用 VSCode 開發 C++

Header files

本文介紹了設計 Header files 應該要注意的眉眉角角。
這些須注意事項主要是參考 Google C++ Style Guide 以及我個人開發系統程式的經驗。

Self-contained Headers

所有標頭檔都應該符合 Self-contained。
也就是說，假設使用者要引入 A 標頭檔，無須引入 B, C, D 等 A 使用到的相依標頭檔。
因此，開發者在設計標頭檔時應自行插入該檔案所需要的所有標頭檔。

The #define Guard

承接上面提到的 Self-contained Headers，我們可以思考一下:
假設我今天使用到了 A 和 B 標頭檔，但兩者都使用了 C 標頭檔，這樣會不會出現重複載入的問題呢?

標頭檔案的引入順序

Scopping

Namespace

New features in C++ 11

ISO/IEC 14882 是 C++ 程式語言的標準，這類的規格書會規範程式語言的特性和語法，方便不同開發團隊實作適用 C++ 的編譯器專案。
至於 C++ 11 (ISO/IEC 14882:2011) 則是 ISO/IEC 14882 的第三個版本，前兩個版本分別是:

  • ISO/IEC 14882:1998 (C++ 98)
  • ISO/IEC 14882:2003 (C++ 03)

從時間線上可以觀察出 C++ 的第二版與第三版標準間隔了好一段時間，也因為這個緣故，C++ 11 更新了非常多個功能，所以又有人稱 C++ 11 與之後的版本是 Modern C++。
至於本文要介紹的功能則會以筆者自己刷題要用的功能為主，其他的功能就…再看看吧 XD

Template

Range based for-loop

C++ 11 提供了 Range based 的 For 迴圈，如果我們使用一般的迴圈尋訪一個陣列或是 STL Container，會需要這樣做:

std::array<int, 4> arr{0, 4, 3, 2};

for (std::array<int, 4>::iterator it = arr.begin(); it != arr.end(); it++)
{
    std::cout << *it << std::endl;
}

使用 Range based for-loop 以後，程式碼可以這樣寫:

std::array<int, 4> arr{0, 4, 3, 2};

for (int it : arr)
{
    std::cout << it << std::endl;
}

我們可以發現，上面的範例省去了很多的條件判斷式。不只如此，它還幫我們做了 Dereference 的操作，讓開發者可以少打很多程式碼 XD
不過到目前為止，都還沒有提到 STL，所以我們先用基礎型別來作範例吧!

遍歷陣列:

int my_array[5] = {1, 2, 3, 4, 5};

for (int x : my_array)
{
  std::cout << x << endl;
}

遍歷並修改陣列元素:

int my_array[5] = {1, 2, 3, 4, 5};
// double the value of each element in my_array:
for (int x : my_array)
{
  x *= 2;
}

如果將上面提供的範例執行，my_array 的元素並不會被加倍，如果要達到預期目標，我們需要將他的 Reference 傳入:

int my_array[5] = {1, 2, 3, 4, 5};
// double the value of each element in my_array:
for (int &x : my_array)
{
  x *= 2;
}

Auto type

ref:

STL Container

What's STL

標準模板庫 (Standard Template Library, STL)

Example: Vector

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →

圖片來源

Vector 是強化版的 Array ，提供了更多靈活的成員函式， STL 的好處就是不用自己動手造輪子，就有一些增強型的資料結構可以使用。
Vector 有以下特性:

  • 對末端元素進行 (新增/刪除) 操作的速度極快: O(1)
  • 對前端元素進行 (新增/刪除) 操作的速度極慢: O(n)
  • 查詢速度: O(n)

成員函式

  • begin()
  • end()
  • size()
  • max_size()
  • empty()
  • swap()

存取方式





vec[i];
vec.at(i) // 與 vec[i] 等效
vec.front() // return the first element in vector
vec.back() // return the last element in vector

新增與移除






vec.push_back(); // push
vec.pop_back(); // pop
vec.insert(); // 新增一或多個元素到 vector 的任意位置
vec.erase(); // 刪除 vector 中一或多個元素
vec.clear(); // clear all

取得長度






vec.empty(); // return true if vector is empty
vec.size();
vec.resize(); // re-size the length of vector
vec.capacity(); // 取得 vector 目前可容納的最大元素個數
vec.reverse(); // Reverses the order of the elements in the range [first,last).

使用範例









#include <vector>
using namespace std;
int main(){
  vector<int>ivec;
  for(int i = 0; i < 24; i++){
    ivec.push_back(i);
  }
}























#include <iostream>
#include <vector>

using namespace std;

int main()
{
    vector<string> vec;
    
    vec.push_back("ss");
    vec.pop_back();
    
    vec.push_back("abc");
    vec.push_back("dfg");
    
    for (auto it = vec.begin(); it != vec.end(); it++){
        cout << *it << endl;
    }


    return 0;
}

What's Iterator?

想提問，iterator 跟指標有什麼不一樣?

簡單地講，指標基本上只是在記錄該變數（物件、資料…etc）在記憶體中的位址；iterator 比較抽象，它算是抽象過後的拜訪規則。



int a = 10;
int *b = &a;

而 iterator 比較像是「我要怎麼依序拿到這一串資料中的每個資料」，最簡單的例子是連續陣列 (array)，但這個很簡單，語法上你只要透過 index 就可以依序拿；但很多資料結構並不是用這麼簡單的方式來排列，iterator 就變成像是一個共通的語言，讓程式語法在依序拿資料時有個一樣的寫法。

std::vector<int> a;

for (std::vector<int>::iterator it = a.begin(); it != a.end(); ++it) {
  std::cout << *it << " ";
}
std::cout << std::endl;

More STL Container

常見標頭檔












#include <vector>
#include <deque>
#include <list>
#include <set>   // set and multiset
#include <map>   // map and multimap
#include <unordered_set>  // unordered set/multiset
#include <unordered_map>  // unordered map/multimap
#include <iterator>
#include <algorithm>
#include <numeric>    // some numeric algorithm
#include <functional>

dequeue

跟 vector 差不多，可是多了 push_front() 可以用：

deque<int> deq = { 4, 6, 7 };
deq.push_front(2);  // deq: {2, 4, 6, 7}
deq.push_back(3);   // deq: {2, 4, 6, 7, 3}

// Deque has similar interface with vector
cout << deq[1];  // 4

list

STL 的 list 是 doubly linked-list：

Doubly linked-list 的特性如下：

  1. 非連續的記憶體（可擴充性強）
  2. 查找起來比 array 慢（拜非連續記憶體儲存所賜）
list<int> mylist = {5, 2, 9 }; 
mylist.push_back(6);  // mylist: { 5, 2, 9, 6}
mylist.push_front(4); // mylist: { 4, 5, 2, 9, 6}

   
list<int>::iterator itr = find(mylist.begin(), mylist.end(), 2); // itr -> 2
mylist.insert(itr, 8);   // mylist: {4, 5, 8, 2, 9, 6}  
                         // O(1), faster than vector/deque
itr++;                   // itr -> 9
mylist.erase(itr);       // mylist: {4, 8, 5, 2, 6}   O(1)

mylist1.splice(itr, mylist2, itr_a, itr_b );   // O(1)

Set

接下來的 STL Container（包括 Set）都是屬於 Associated STL Container，也就是 key-value 對應關係的資料結構實作。

  • Properties:
      1. Fast search: O(log(n))
      1. Traversing is slow (compared to vector & deque)
      1. No random access, no [] operator.





















  set<int> myset;
  myset.insert(3);    // myset: {3}
  myset.insert(1);    // myset: {1, 3}
  myset.insert(7);    // myset: {1, 3, 7},  O(log(n))

  set<int>::iterator it;
  it = myset.find(7);  // O(log(n)), it points to 7
                  // Sequence containers don't even have find() member function
  pair<set<int>::iterator, bool> ret;
  ret = myset.insert(3);  // no new element inserted
  if (ret.second==false) 
     it=ret.first;       // "it" now points to element 3
                        
                        // 原本插入要log(n) 先用iterator先找到後  插入只要O(1)  
                        // 當然iterator在找的時候也是花掉log(n)
  myset.insert(it, 9);  // myset:  {1, 3, 7, 9}   O(log(n)) => O(1)
                         // it points to 3
  myset.erase(it);         // myset:  {1, 7, 9}

  myset.erase(7);   // myset:  {1, 9}
   // Note: none of the sequence containers provide this kind of erase.

multiset

  • multiset is a set that allows duplicated items
  • set and multiset : value of the elements cannot be modified
    • you may destory the data structure => matain failed …





// multiset is a set that allows duplicated items
multiset<int> myset;

// set/multiset: value of the elements cannot be modified
*it = 10;  // *it is read-only

map

  • No duplicated key
map<char,int> mymap;
mymap.insert ( pair<char,int>('a',100) );
mymap.insert ( make_pair('z',200) );

map<char,int>::iterator it = mymap.begin();
mymap.insert(it, pair<char,int>('b',300));  // "it" is a hint

it = mymap.find('z');  // O(log(n))

// showing contents:
for ( it=mymap.begin() ; it != mymap.end(); it++ )
  cout << (*it).first << " => " << (*it).second << endl;

multimap

  • multimap is a map that allows duplicated keys
  • value can be modifed , but key can not be modified.
    • because key is the index …
// multimap is a map that allows duplicated keys
multimap<char,int> mymap;

// map/multimap: 
//  -- keys cannot be modified
//     type of *it:   pair<const char, int>
     (*it).first = 'd';  // Error

unordered_map

  • 內部不會排序
  • 使用 hashtable 實作
  • 讀取效率為 O(n)，worst case 為 O(1)



























#include <iostream>
#include <string>
#include <unordered_map>

using namespace std;

unordered_map<string, int> umap;

int main()
{
    umap.insert(pair<string, int>("s", 3000));
    auto it = umap.begin();
    umap.erase(it);
    
    umap.insert(make_pair("ss", 56000));
    
    cout << umap["ss"] << endl;
    
    umap.erase("s");
    
    for (auto it: umap) {
        cout << it.first << it.second << endl;
    }

    return 0;
}

https://shengyu7697.github.io/std-unordered_map/

STL 常用函式

std::sort

#include <iostream>
#include <algorithm>

int main() {
    int arr[] = {4, 5, 8, 3, 7, 1, 2, 6, 10, 9};
    std::sort(arr, arr+10);
    std::cout << "sort array by default (increasing):" << std::endl;
    for (int i = 0; i < 10; i++) {
        std::cout << arr[i] << " ";
    }
    std::cout << std::endl;

    return 0;
}

搭配 C++ 11 特性與 STL 的 Vector 排序範例:

#include <iostream>
#include <vector>
#include <algorithm>

int main()
{
  std::vector<int> vec{0, 4, 3, 2};
  for (auto x : vec)
  {
    std::cout << x << std::endl;
  }

  std::sort(vec.begin(), vec.end());

  for (auto x : vec)
  {
    std::cout << x << std::endl;
  }

  return 0;
}

std::copy

/* https://www.cplusplus.com/reference/algorithm/copy/ */
template<class InputIterator, class OutputIterator>
  OutputIterator copy (InputIterator first, InputIterator last, OutputIterator result)
{
  while (first!=last) {
    *result = *first;
    ++result; ++first;
  }
  return result;
}
  • InputIterator first
    要複製的容器的起始位址
  • InputIterator last
    要複製的容器的最後一個位址
  • OutputIterator result
    目標容器
/* https://www.cplusplus.com/reference/algorithm/copy/ */
#include <iostream>     // std::cout
#include <algorithm>    // std::copy
#include <vector>       // std::vector

int main () {
  int myints[]={10,20,30,40,50,60,70};
  std::vector<int> myvector (7);

  std::copy ( myints, myints+7, myvector.begin() );

  std::cout << "myvector contains:";
  for (std::vector<int>::iterator it = myvector.begin(); it!=myvector.end(); ++it)
    std::cout << ' ' << *it;

  std::cout << '\n';

  return 0;
}

size()








#include <iostream>
#include <vector>

using namespace std;

vector<int> vec;
cout << vec.size() << endl;

empty()




if (vec.empty()) {
    cout << "Not possible.\n" << endl;
}

swap()






vector<int> vec2(vec);  // Copy constructor, vec2: {4, 1, 8}

vec.clear();    // Remove all items in vec;   vec.size() == 0

vec2.swap(vec);   // vec2 becomes empty, and vec has 3 items.

左值與右值

如何分類

左值與右值的根本區別在於是否允許取位址 & 運算子獲得對應的記憶體位址。

  • 左值
    左值是對應到記憶體中有確定儲存位址的物件的表達式的值
  • 右值
    是所有非左值的表達式的值











int& foo1();
int foo2();
foo3();
int a,b[3];
a; //左值
b; //左值
b[0]; //左值
a+b[1]; //右值
foo1(); //左值
foo2(); //右值
foo3(); //右值

在 C++ 03 以前的標準定義了在表達式中左值到右值的三類隱式自動轉換:

  • 左值轉為右值
    如整數變數 i 在表達式 i+3
  • 陣列名是常數左值
    在表達式中轉化為陣列首元素的位址值
  • 函式名是常數左值
    在表達式中轉化為函式的位址值

https://cat.chriz.hk/2022/01/c-reference-collapsing-forwarding.html

The rule of five

ref:

  • 解構子
  • 複製建構子
  • 設定運算子
  • 移動建構子
  • 移動指定運算子

copy & move

#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

class Box {
public:
    Box() { std::cout << "default" << std::endl; }
    Box(int width, int height, int length)
       : m_width(width), m_height(height), m_length(length)
    {
        std::cout << "int,int,int" << std::endl;
    }
    Box(Box& other)
       : m_width(other.m_width), m_height(other.m_height), m_length(other.m_length)
    {
        std::cout << "copy" << std::endl;
    }
    Box(Box&& other) : m_width(other.m_width), m_height(other.m_height), m_length(other.m_length)
    {
        m_contents = std::move(other.m_contents);
        std::cout << "move" << std::endl;
    }
    
    int Volume() { return m_width * m_height * m_length; }
    void Add_Item(string item) { m_contents.push_back(item); }
    void Print_Contents()
    {
        for (const auto& item : m_contents)
        {
            cout << item << " ";
        }
    }
private:
    int m_width{ 0 };
    int m_height{ 0 };
    int m_length{ 0 };
    vector<string> m_contents;
};

Box get_Box()
{
    Box b(5, 10, 18); // "int,int,int"
    b.Add_Item("Toupee");
    b.Add_Item("Megaphone");
    b.Add_Item("Suit");

    return b;
}

int main()
{
    Box b; // "default"
    Box b1(b); // "copy"
    Box b2(get_Box()); // "move"
    cout << "b2 contents: ";
    b2.Print_Contents(); // Prove that we have all the values

    char ch;
    cin >> ch; // keep window open
    return 0;
}

What's Virtual function

Virtual & override

  • Parent 實作 Virtual Function，繼承的類別可以選擇採用或是複寫 (override)。

Pure virtual fuction

  • 完全不實作，留給繼承的類別實作。

Smart pointer

在傳統的 C/C++ 程式中，使用動態分配記憶體需要留意已分配記憶體是否會在正確的時間點回收。

Memory leak

如果在記憶體使用完畢後沒有將其釋放，而指向這塊記憶體的指標又被用於指向其他記憶體位址。這樣一來，程式便無法取得已分配的記憶體位址，無法得知位址也就代表我們沒有能力去回收這塊已分配的記憶體，這樣的情況便是 Memory leak。

回到正題: 學習使用 Smart pointer

Smart pointer 的出現幫助我們解決了這個叫人頭痛的困擾。

unique pointer

  • 離開執行範圍會自動回收記憶體
  • 有所有權概念，若要交由其他類別或是實體使用需進行所有權轉移。










/* https://ithelp.ithome.com.tw/articles/10213866 */
bool WorthBuying()
{
    std::unique_ptr<TeaShopOwner> the_owner = std::make_unique<TeaShopOwner>();
    if (the_owner->SupportCCP())
        return false;
    if (!the_owner->AdmitTaiwanAsACountry())
        return false;
    return true;
}

轉移擁有權有兩種方法:

  • 方法一: 使用 release() 成員函式







/* https://ithelp.ithome.com.tw/articles/10214031 */
auto tea_owner = std::make_unique<TeaShopOwner>();

if (tea_owner->HitByCCPDirtyTrick()) {
    TeaShopOwner* ccp = tea_owner.release();
    delete cpp;
}

  • tea_owner.release() 呼叫的是 std::unique_ptr 的成員函式。

  • tea_owner->HitByCCPDirtyTrick() 會呼叫到 TeaShopOwner 的成員函式。

  • 方法二: 使用 std::move()






auto tea_owner = std::make_unique<TeaShopOwner>();

if (tea_owner->HitByCCPDirtyTrick()) {
    TransferOwner(std::move(tea_owner));
}

shared pointer

  • 可以被多個實體持有
  • 等到持有該 pointer 的所有物件都離開執行範圍才會回收記憶體。








std::shared_ptr<TeaShopOwner> owner = std::make_shared<TeaShopOwner>();
std::shared_ptr<TeaShopOwner> ccp_owner = owner;

try {
    ccp_owner->SetOneCountryTwoSystem(true);
}
catch (const Never& e) {
}

more details…

讀取測資

#include <iostream>
#include <vector>
using namespace std;
vector<int> num;
int main() {
int n,r,s;
   
cin>>n;
while (n‐‐) {
    cin >> r;
    num.clear();
    for (int i=0;i<r;i++) {
    cin>>s;
    num.push_back(s);
    }
   
    // 剩下的留給你完成，提示：中位數。
   
    cout<<endl;
}
   
return 0;
}

long long





long long x = 123456789123456789LL;

int a = 123456789;
long long res = (long long)a * a;

習題

Leetcode #322 Coin Change

class Solution {
public:
    int coinChange(vector<int>& coins, int amount) {
        if (amount == 0) return 0;
        
        vector <int> dp(amount + 1, amount + 1);
        
        dp[0] = 0;
        
        for (int i = 0; i < dp.size(); i++) {
            for (int coin: coins) {
                /* 如果總額比硬幣的面額還大，那無解 */
                if (coin > i) {
                    continue;
                } else {
                    dp[i] = min(dp[i], dp[i - coin] + 1);
                }
            }   
        }
        
        return (dp[amount] == amount + 1)?(-1):(dp[amount]);
    }
};

918. Maximum Sum Circular Subarray

class Solution {
public:
    int maxSubarraySumCircular(vector<int>& nums) {
        int min_sum = INT_MAX;
        int max_sum = INT_MIN;
        int cur_min = 0;
        int cur_max = 0;
        int total_sum = 0;
        for(int n: nums){
            total_sum += n;
            
            cur_max += n;
            max_sum = max(cur_max, max_sum);
            cur_max = max(cur_max, 0);
            
            cur_min += n;
            min_sum = min(cur_min, min_sum);
            cur_min = min(cur_min, 0);
        }
        if (max_sum < 0)
            return max_sum;
        else
            return max(max_sum, total_sum - min_sum);
    }
};

f698: 後序運算式

1 2 + 3 * (Ans = 9)

想法：

  • 數字進來的話放 Stack
  • 遇到運算子就 Pop 兩個數字
#include <stack>
#include <iostream>
#include <string>
using namespace std;

int main() {
    stack <int> stk;
    string input;
    int a, b;
    while (cin >> input) {
        if (isdigit(input[0]) || (input.size() > 1)) {
            stk.push(stoi(input));
        } else {
            a = stk.top();
            stk.pop();
            b = stk.top();
            stk.pop();
            switch (input[0]) {
                case '*':
                    stk.push(a*b);
                    break;
                case '/':
                    stk.push(b/a);
                    break;
                case '+':
                    stk.push(a+b);
                    break;
                case '-':
                    stk.push(b-a);
                    break;
            }
        }
    }
    cout << stk.top() << endl;
}
Last changed by 
 
C 語言
0
1
855

Read more

uVA

考前必讀 1. I/O 處理 2. STL Container 3. STL Algorithm sort lower_bound upper_bound 4. String 處理

Mar 21, 2023
Untitled

May 18, 2022
叫人頭昏眼花的 stdio library

&#x67E5;&#x95B1; Linux manual page &#x6642;&#x6703;&#x767C;&#x73FE;: &#x5728; stdio.h &#x4E2D;&#x6709;&#x5BC6;&#x5BC6;&#x9EBB;&#x9EBB;&#x7684;&#x51FD;&#x5F0F;/&#x8B8A;&#x6578;&#x5B9A;&#x7FA9;&#x3002;&#x6709;&#x8DA3;&#x7684;&#x662F;&#xFF0C;&#x7B46;&#x8005;&#x767C;&#x73FE;&#x8A31;&#x591A; C &#x8A9E;&#x8A00;&#x7684;&#x5165;&#x9580;&#x6559;&#x6750;&#x90FD;&#x6C92;&#x6709;&#x5C07;&#x6A19;&#x6E96;&#x8F38;&#x5165;&#x8F38;&#x51FA;&#x4EA4;&#x4EE3;&#x4ED4;&#x7D30;&#x3002;&#x8B93;&#x5927;&#x591A;&#x6578;&#x7684;&#x4EBA;&#x8B80;&#x5B8C;&#x6587;&#x7AE0;&#x9084;&#x662F;&#x5C0D; stdio.h &#x5167;&#x51FD;&#x5F0F;&#x7684;&#x8A2D;&#x8A08;&#x611F;&#x5230;&#x4E00;&#x982D;&#x9727;&#x6C34;&#xFF0C;&#x56E0;&#x6B64;&#xFF0C;&#x7B46;&#x8005;&#x5E0C;&#x671B;&#x900F;&#x904E;&#x64B0;&#x5BEB;&#x6587;&#x7AE0;&#x70BA;&#x5927;&#x5BB6;&#x89E3;&#x60D1;&#xFF0C;&#x4E5F;&#x9806;&#x4FBF;&#x8907;&#x7FD2;&#x4E00;&#x4E0B;&#x751F;&#x758F;&#x7684; C &#x8A9E;&#x8A00;&#x6280;&#x80FD;&#x3002; &#x5148;&#x5099;&#x77E5;&#x8B58; &#x5728;&#x5B78;&#x7FD2; stdio library &#x4E4B;&#x524D;&#xFF0C;&#x9700;&#x8981;&#x5148;&#x4E86;&#x89E3; Unix &#x4F5C;&#x696D;&#x7CFB;&#x7D71;&#x7684;&#x6A94;&#x6848;&#x89C0;&#x5FF5;&#xFF0C;&#x5728;&#x638C;&#x63E1;&#x6A94;&#x6848;&#x89C0;&#x5FF5;&#x5F8C;&#xFF0C;&#x53EF;&#x4EE5;&#x5E6B;&#x52A9;&#x6211;&#x5011;&#x66F4;&#x5FEB;&#x7684;&#x7406;&#x89E3; stdio &#x7684;&#x8A2D;&#x8A08;&#x5DE7;&#x601D;&#x3002; File descriptor stdio.h &#x4E2D;&#x7684;&#x51FD;&#x5F0F;&#x5E7E;&#x4E4E;&#x90FD;&#x8DDF; File &#x7684;&#x64CD;&#x4F5C;&#x812B;&#x4E0D;&#x4E86;&#x95DC;&#x4FC2;&#x3002; &#x5728; Unix &#x6216;&#x662F; Unix-like &#x4E2D;&#xFF0C;&#x4F5C;&#x696D;&#x7CFB;&#x7D71;&#x62BD;&#x8C61;&#x4E86;&#x4E00;&#x5C64;&#x8CC7;&#x6599;&#x7D50;&#x69CB;&#x7528;&#x4F86;&#x5B58;&#x53D6; File, input / output &#x8CC7;&#x6E90;&#xFF0C;&#x8A72;&#x8CC7;&#x6599;&#x7D50;&#x69CB;&#x7A31;&#x70BA; File descriptor &#x3002;&#x4E26;&#x4E14;&#xFF0C; File descriptor &#x662F;&#x5C6C;&#x65BC; POSIX API &#x7684;&#x4E00;&#x90E8;&#x4EFD;&#xFF0C;&#x5728;&#x7B26;&#x5408; POSIX &#x7684;&#x4F5C;&#x696D;&#x7CFB;&#x7D71;&#x4E0A;&#xFF0C;&#x6BCF;&#x4E00;&#x500B; Process (&#x9664;&#x4E86;&#x5B88;&#x8B77;&#x7A0B;&#x5E8F;)&#x90FD;&#x61C9;&#x8A72;&#x5177;&#x5099;&#x81F3;&#x5C11;&#x4E09;&#x500B; File descriptor &#xFF0C;&#x5206;&#x5225;&#x662F;:

Sep 21, 2021
並行程式的潛在問題(三)

:::info &#x1F680; &#x66F4;&#x591A;&#x6587;&#x7AE0;&#x90FD;&#x5DF2;&#x7D93;&#x6574;&#x5408;&#x5230; AwesomeCS Wiki &#x4E86;&#xFF0C;&#x6B61;&#x8FCE;&#x9001;&#x4E0A; Star ! &#x1F680; AwesomeCS &#x81C9;&#x66F8;&#x5C08;&#x696D; ::: &#x5728;&#x4ECB;&#x7D39; Mutex lock &#x8207; spinlock &#x5F8C;&#xFF0C;&#x672C;&#x7BC7;&#x6587;&#x7AE0;&#x540C;&#x6A23;&#x91DD;&#x5C0D;&#x4E26;&#x884C;&#x7A0B;&#x5F0F;&#x7684; Synchronization &#x4F5C;&#x63A2;&#x8A0E;&#xFF0C;&#x5B78;&#x7FD2;&#x5982;&#x4F55;&#x4FDD;&#x8B49;&#x4E26;&#x884C;&#x7A0B;&#x5F0F;&#x7684;&#x57F7;&#x884C;&#x9806;&#x5E8F;&#x4E26;&#x4ECB;&#x7D39;&#x4EC0;&#x9EBC;&#x662F; Deadlock &#x8207; Livelock &#x3002; Semaphore Semaphore &#x4E2D;&#x6587;&#x7A31;&#x70BA;&#x865F;&#x8A8C;&#xFF0C;&#x662F;&#x4E00;&#x500B;&#x540C;&#x6B65;&#x7269;&#x4EF6;&#xFF0C;&#x7528;&#x65BC;&#x4FDD;&#x6301;&#x5728; 0 &#x81F3;&#x6307;&#x5B9A;&#x6700;&#x5927;&#x503C;&#x4E4B;&#x9593;&#x7684;&#x4E00;&#x500B;&#x8A08;&#x6578;&#x503C;&#x3002;&#x7576;&#x57F7;&#x884C;&#x7DD2;&#x5B8C;&#x6210;&#x4E00;&#x6B21;&#x5C0D;&#x8A72; semaphore &#x7269;&#x4EF6;&#x7684;&#x7B49;&#x5F85;&#xFF08;wait&#xFF09;&#x6642;&#xFF0C;&#x8A72;&#x8A08;&#x6578;&#x503C;&#x6E1B;&#x4E00;&#xFF1B;&#x7576;&#x57F7;&#x884C;&#x7DD2;&#x5B8C;&#x6210;&#x4E00;&#x6B21;&#x5C0D; semaphore &#x7269;&#x4EF6;&#x7684;&#x91CB;&#x653E;&#xFF08;release&#xFF09;&#x6642;&#xFF0C;&#x8A08;&#x6578;&#x503C;&#x52A0;&#x4E00;&#x3002;&#x7576;&#x8A08;&#x6578;&#x503C;&#x70BA; 0 &#xFF0C;&#x5247;&#x57F7;&#x884C;&#x7DD2;&#x7B49;&#x5F85;&#x8A72; semaphore &#x7269;&#x4EF6;&#x4E0D;&#x518D;&#x80FD;&#x6210;&#x529F;&#x76F4;&#x81F3;&#x8A72; semaphore &#x7269;&#x4EF6;&#x8B8A;&#x6210; signaled &#x72C0;&#x614B;&#x3002; semaphore &#x7269;&#x4EF6;&#x7684;&#x8A08;&#x6578;&#x503C;&#x5927;&#x65BC; 0 &#xFF0C;&#x70BA; signaled &#x72C0;&#x614B;&#xFF1B;&#x8A08;&#x6578;&#x503C;&#x7B49;&#x65BC; 0 &#xFF0C;&#x70BA; nonsignaled &#x72C0;&#x614B;.

May 22, 2021
Read more from C 語言
Published on HackMD