Hari ini, pabrik hewan lain terbang ke tinjauan:public static class AnimalsFactory
{
public static Animal CreateAnimalByTernaryOperator(bool isCat)
{
return isCat ? (Animal)new Cat() : new Dog();
}
}
Sekali lagi saya kesal karena C # memaksa Anda untuk melemparkan objek Cat ke Animal. Tetapi biarkan kasta menjadi lebih baik, karena melalui pernyataan if-else kodenya bahkan lebih lama:public static class AnimalsFactory
{
public static Animal CreateAnimalByIfElseOperator(bool isCat)
{
if (isCat)
return new Cat();
return new Dog();
}
}
Mari kita menyimpang sebentar dari ulasan dan mencoba mencari tahu:- Akankah kode IL berbeda dalam contoh-contoh ini?
- akankah salah satu contoh bermanfaat dalam kinerja?
Jawaban untuk pertanyaan pertama adalah ya, kode-IL berbeda, saya akan tunjukkan di bawah ini apa.Mari kita beralih ke masalah kinerja. Unduh paket nuget untuk benchmark BenchmarkDotNet dan tulis tes:public class AnimalFactoryPerformanceTests
{
[ParamsAllValues]
public bool IsCat { get; set; }
[Benchmark]
public void CreateAnimalByTernaryOperator() =>
AnimalsFactory.CreateAnimalByTernaryOperator(IsCat);
[Benchmark]
public void CreateAnimalByIfElseOperator() =>
AnimalsFactory.CreateAnimalByIfElseOperator(IsCat);
}
Hasil Benchmark:| | IsCat | |
|------------------------------ |------ |---------:|
| CreateAnimalByTernaryOperator | False | 1.357 ns |
| CreateAnimalByTernaryOperator | True | 1.655 ns |
|------------------------------ |------ |---------:|
| CreateAnimalByIfElseOperator | False | 1.636 ns |
| CreateAnimalByIfElseOperator | True | 1.360 ns |
Sungguh mengejutkan bahwa "untuk anjing" ternary bekerja lebih cepat, dan "untuk kucing" - pernyataan if-else.Kami melihat kode-IL metode dengan operator ternary:CreateAnimalByTernaryOperator(bool isCat)
{
IL_0000: ldarg.0
IL_0001: brtrue.s IL_0009
IL_0003: newobj instance void AnimalPerformance.Dog::.ctor()
IL_0008: ret
IL_0009: newobj instance void AnimalPerformance.Cat::.ctor()
IL_000e: ret
}
Saat membuat objek Dog , perintah IL_0000 - IL_0008 dijalankan secara berurutan , sementara saat membuat objek Cat , lompatan bersyarat terjadi ( IL_0001: brtrue.s IL_0009 ).Seperti yang Anda tebak, untuk pernyataan if-else, kode IL dihasilkan yang tidak memerlukan lompatan kondisional untuk membuat objek Cat . Sementara objek Dog dibuat melalui cabang kondisional:CreateAnimalByIfElseOperator(bool isCat)
{
IL_0000: ldarg.0
IL_0001: brfalse.s IL_0009
IL_0003: newobj instance void AnimalPerformance.Cat::.ctor()
IL_0008: ret
IL_0009: newobj instance void AnimalPerformance.Dog::.ctor()
IL_000e: ret
}
Tambahkan pembuatan Parrot dan metode baru dengan pernyataan beralih ke pabrik :public static class AnimalFactory
{
public static Animal CreateAnimalByTernaryOperator(AnimalType animalType)
{
return animalType == AnimalType.Cat
? new Cat()
: animalType == AnimalType.Dog
? (Animal)new Dog()
: new Parrot();
}
public static Animal CreateAnimalByIfElseOperator(AnimalType animalType)
{
if (animalType == AnimalType.Cat)
return new Cat();
if (animalType == AnimalType.Dog)
return new Dog();
return new Parrot();
}
public static Animal CreateAnimalBySwitchOperator(AnimalType animalType)
{
switch (animalType)
{
case AnimalType.Cat:
return new Cat();
case AnimalType.Dog:
return new Dog();
case AnimalType.Parrot:
return new Parrot();
default:
throw new InvalidOperationException();
}
}
}
Metode mana yang lebih cepat?Hasil benchmark| | AnimalType | |
|------------------------------ |----------- |---------:|
| CreateAnimalByTernaryOperator | Cat | 2.490 ns |
| CreateAnimalByTernaryOperator | Dog | 2.515 ns |
| CreateAnimalByTernaryOperator | Parrot | 2.333 ns |
|------------------------------ |----------- |---------:|
| CreateAnimalByIfElseOperator | Cat | 2.368 ns |
| CreateAnimalByIfElseOperator | Dog | 2.545 ns |
| CreateAnimalByIfElseOperator | Parrot | 2.735 ns |
|------------------------------ |----------- |---------:|
| CreateAnimalBySwitchOperator | Cat | 2.747 ns |
| CreateAnimalBySwitchOperator | Dog | 2.730 ns |
| CreateAnimalBySwitchOperator | Parrot | 2.722 ns |
Kode ILCreateAnimalByTernaryOperator(AnimalsFactory.AnimalType animalType)
{
IL_0000: ldarg.0
IL_0001: brfalse.s IL_0013
IL_0003: ldarg.0
IL_0004: ldc.i4.1
IL_0005: beq.s IL_000d
IL_0007: newobj instance void AnimalsFactory.Parrot::.ctor()
IL_000c: ret
IL_000d: newobj instance void AnimalsFactory.Dog::.ctor()
IL_0012: ret
IL_0013: newobj instance void AnimalsFactory.Cat::.ctor()
IL_0018: ret
}
CreateAnimalByIfElseOperator(AnimalsFactory.AnimalType animalType)
{
IL_0000: ldarg.0
IL_0001: brtrue.s IL_0009
IL_0003: newobj instance void AnimalsFactory.Cat::.ctor()
IL_0008: ret
IL_0009: ldarg.0
IL_000a: ldc.i4.1
IL_000b: bne.un.s IL_0013
IL_000d: newobj instance void AnimalsFactory.Dog::.ctor()
IL_0012: ret
IL_0013: newobj instance void AnimalsFactory.Parrot::.ctor()
IL_0018: ret
}
CreateOtherAnimalBySwitchOperator(AnimalsFactory.AnimalType animalType)
{
IL_0000: ldarg.0
IL_0001: switch (IL_0014, IL_001a, IL_0020)
IL_0012: br.s IL_0026
IL_0014: newobj instance void AnimalsFactory.Cat::.ctor()
IL_0019: ret
IL_001a: newobj instance void AnimalsFactory.Dog::.ctor()
IL_001f: ret
IL_0020: newobj instance void AnimalsFactory.Parrot::.ctor()
IL_0025: ret
IL_0026: newobj instance void System.InvalidOperationException::.ctor()
IL_002b: throw
}
Kesimpulan 1: Untuk pernyataan terner dan if-else, runtime secara langsung tergantung pada jumlah lompatan bersyarat yang telah berlalu di utas eksekusi.Kesimpulan 2: Pernyataan sakelar C # dikonversi dalam kode IL menjadi pernyataan sakelar dan, secara rata-rata, bekerja sedikit lebih lama dari pernyataan percabangan biasa.Kesimpulan 3: Segala sesuatu di atas hanya relevan untuk .NET Framework v.4.8. Setelah menjalankan tes yang sama di .NetCore, kami mendapatkan hasil yang sama sekali berbeda yang belum ditafsirkan.Benchmarks .NetCore 3.0| | AnimalType | |
|------------------------------ |----------- |---------:|
| CreateAnimalByTernaryOperator | Cat | 3.046 ns |
| CreateAnimalByTernaryOperator | Dog | 2.984 ns |
| CreateAnimalByTernaryOperator | Parrot | 3.019 ns |
|------------------------------ |----------- |---------:|
| CreateAnimalByIfElseOperator | Cat | 2.980 ns |
| CreateAnimalByIfElseOperator | Dog | 2.977 ns |
| CreateAnimalByIfElseOperator | Parrot | 3.103 ns |
|------------------------------ |----------- |---------:|
| CreateAnimalBySwitchOperator | Cat | 3.519 ns |
| CreateAnimalBySwitchOperator | Dog | 3.533 ns |
| CreateAnimalBySwitchOperator | Parrot | 3.312 ns |
Prosesor: Sumber Intelยฎ Core (TM) i7-7700K