Podpowiedziany komentarzem Konrada Rudolpha w dniupowiązane pytanie, Napisałem następujący program, aby porównać wydajność wyrażenia regularnego w F #:

open System.Text.RegularExpressions
let str = System.IO.File.ReadAllText "C:\\Users\\Jon\\Documents\\pg10.txt"
let re = System.IO.File.ReadAllText "C:\\Users\\Jon\\Documents\\re.txt"
for _ in 1..3 do
  let timer = System.Diagnostics.Stopwatch.StartNew()
  let re = Regex(re, RegexOptions.Compiled)
  let res = Array.Parallel.init 4 (fun _ -> re.Split str |> Seq.sumBy (fun m -> m.Length))
  printfn "%A %fs" res timer.Elapsed.TotalSeconds

i odpowiednik w C ++:

#include "stdafx.h"

#include <windows.h>
#include <regex>
#include <vector>
#include <string>
#include <fstream>
#include <cstdio>
#include <codecvt>

using namespace std;

wstring load(wstring filename) {
    const locale empty_locale = locale::empty();
    typedef codecvt_utf8<wchar_t> converter_type;
    const converter_type* converter = new converter_type;
    const locale utf8_locale = locale(empty_locale, converter);
    wifstream in(filename);
    wstring contents;
    if (in)
    {
        in.seekg(0, ios::end);
        contents.resize(in.tellg());
        in.seekg(0, ios::beg);
        in.read(&contents[0], contents.size());
        in.close();
    }
    return(contents);
}

int count(const wstring &re, const wstring &s){
    static const wregex rsplit(re);
    auto rit = wsregex_token_iterator(s.begin(), s.end(), rsplit, -1);
    auto rend = wsregex_token_iterator();
    int count=0;
    for (auto it=rit; it!=rend; ++it)
        count += it->length();
    return count;
}

int _tmain(int argc, _TCHAR* argv[])
{
    wstring str = load(L"pg10.txt");
    wstring re = load(L"re.txt");

    __int64 freq, tStart, tStop;
    unsigned long TimeDiff;
    QueryPerformanceFrequency((LARGE_INTEGER *)&freq);
    QueryPerformanceCounter((LARGE_INTEGER *)&tStart);

    vector<int> res(4);

#pragma omp parallel num_threads(4)
    for(auto i=0; i<res.size(); ++i)
        res[i] = count(re, str);

    QueryPerformanceCounter((LARGE_INTEGER *)&tStop);
    TimeDiff = (unsigned long)(((tStop - tStart) * 1000000) / freq);
    printf("(%d, %d, %d, %d) %fs\n", res[0], res[1], res[2], res[3], TimeDiff/1e6);
    return 0;
}

Oba programy ładują dwa pliki jako ciągi Unicode (używam kopii Biblii), konstruuję nietrywialne wyrażenie regularne Unicode\w?\w?\w?\w?\w?\w i rozdzielamy łańcuch czterokrotnie równolegle, używając wyrażenia regularnego zwracającego sumę długości podzielonych łańcuchów (w celu uniknięcia przydziału).

Działający zarówno w Visual Studio (z włączoną obsługą MP i OpenMP dla C ++) w wydaniu build ukierunkowanym na 64-bit, C ++ zajmuje 43.5s, a F # zajmuje 3.28s (ponad 13x szybciej). Nie dziwi mnie to, ponieważ wierzę, że .NET JIT kompiluje wyrażenie regularne do kodu natywnego, podczas gdy stdlib C ++ interpretuje go, ale chciałbym dokonać przeglądu przez peer.

Czy w moim kodzie C ++ istnieje błąd perf, czy jest to konsekwencja skompilowanych i zinterpretowanych wyrażeń regularnych?

EDYTOWAĆ: Billy ONeal wskazał, że .NET może mieć inną interpretację\w więc wyraziłem to wyraźnie w nowym wyrażeniu regularnym:

[0-9A-Za-z_]?[0-9A-Za-z_]?[0-9A-Za-z_]?[0-9A-Za-z_]?[0-9A-Za-z_]?[0-9A-Za-z_]

Dzięki temu kod .NET jest znacznie szybszy (C ++ jest taki sam), co skraca czas z 3,28 do 2,38 dla F # (ponad 17 razy szybciej).