Главная - Литература

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 [126] 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294

ГЛАВА 17

Нестандартные управляющие структуры

Содержание

http: cc2e.com/1776 . л>г

17.1. Множественные возвраты из метода

17.2. Рекурсия

17.3. Оператор goto

17.4. Перспективы нестандартных управляющих структур

Связанные темы

Общие вопросы управления: глава 19

Последовательный код: глава 14

Код с условными операторами: глава 15

Код с циклами: глава 16

Обработка исключений: раздел 8.4

Несколько управляющих структур существует в сумрачной зоне между передовым краем технологии и полной дискредитацией и несостоятельностью, и часто в одно и то же время! Эти конструкции доступны не во всех языках, но там, где они есть, они могут быть полезны при аккуратном применении.

17.1. Множественные возвраты из метода

Большинство языков поддерживает некоторые способы возврата управления после частичного выполнения метода. Операторы return и exit - управляющие структуры, которые позволяют программе при желании завершить работу метода. В результате функция завершается через нормальный канал выхода, возвращая управление вызывающему методу. Слово return здесь используется как общий термин, обозначающий return в С++ и Java, Exit Sub и Exit Function в Visual Basic и аналогичные конструкции. Далее перечислены некоторые принципы использования оператора return.



Используйте return, если это повышает читабельность В некоторых методах при получении ответа хочется сразу вернуть управление вызывающей стороне. Если метод определен так, что обнаружение ошибки не требует никакой дополнительной очистки ресурсов, то отсутствие немедленного возврата означает необходимость писать лишний код.

Вот хороший пример ситуации, когда возврат из нескольких частей метода имеет смысл:

Пример правильного множественного возврата из метода (С++)

г- Этот метод возвращает перечислимый тип Comparison.

Comparison Compare( int valuel, int value2 ) { if ( valuel < value2 ) {

return Comparison LessThan;

else if ( valuel > value2 ) { return Comparison GreaterThan;

return Comparison Equal;

Другие примеры не настолько однозначны, что будет проиллюстрировано ниже.

Упрощайте сложную обработку ошибок с помощью сторожевых операторов (досрочных return или exit) Если программа вынуждена проверять большое количество ошибочных ситуаций перед выполнением номинальных действий, это может привести к коду очень большой вложенности и замаскировать номинальный вариант. Вот пример такого кода:

Код, скрывающий номинальный вариант (Visual Basic)

If file.valiclName() Then If file.OpenO Then

If encryptionKey.validO Then

If file.Decrypt( encryptionKey ) Then

r- Здесь код номинального варианта.

-> Много кода.

End If End If End If End If

Отступ основного кода метода внутри четырех условий выглядит неэстетично, особенно если этот код в самом внутреннем блоке состоит из множества строк. В таких случаях часто можно упростить логику, если все ошибочные ситуации проверять сначала, расчистив дорогу для номинального хода алгоритма. Вот как это может выглядеть:



Простой код, использующий сторожевые операторы для прояснения номинального варианта (Visual Basic)

Выполняем инициализацию. При обнаружении ошибок завершаем работу.

If Not file.validNameO Then Exit Sub

If Not file.OpenO Then Exit Sub

If Not encryptionKey.valicl() Then Exit Sub

If Not file.Decrypt( encryptionKey ) Then Exit Sub

Много кода.

В таком простом примере описанный способ выглядит аккуратным решением, но промышленный код при обнаружении ошибки часто требует большего количества служебных операций или действий по очистке ресурсов. Вот более реалистичный пример:

Более реалистичный код, использующий сторожевые операторы для прояснения номинального варианта (Visual Basic)

Выполняем инициализацию. При обнаружении ошибок завершаем работу. If Not file.validNameO Then

errorStatus = FileError InvalidFileName

Exit Sub End If

If Not file.OpenO Then

errorStatus = FileError CantOpenFile

Exit Sub End If

If Not encryptionKey.valid() Then

errorStatus = FileError InvalidEncryptionKey

Exit Sub End If

If Not file.Decrypt( encryptionKey ) Then

errorStatus = FileError CantDecryptFile

Exit Sub End If

Здесь код номинального варианта.

> Много кода.

В коде промышленного масштаба использование Exit Sub приводит к написанию довольно большого количества кода до обработки номинального варианта. Однако Exit Sub позволяет избежать глубокой вложенности, присущей первому примеру, и если код первого примера расширить с целью установки значений переменной errorStatus, то вариант с Exit Sub покажется лучшим с точки зрения группировки взаимосвязанных выражений. Когда вся пыль осядет, подход с Exit Sub покажется более удобным для чтения и сопровождения, и за небольшую цену.



0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 [126] 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294



0.0102