JSON doğrulayıcı yazma


12

Girişinin geçerli JSON olup olmadığını belirleyen bir program yazın .

  • Giriş: ASCII metni:[\x00-\x7F]*

    Not: ASCII sorunluysa, başka bir kodlama kullanmaktan çekinmeyin, ancak yayınınızda belirtin.

  • Çıktı: Valid veya Invalid. Sondaki satırsonu atlanabilir.

  • Misal:

    $ echo '{"key": "value"}' | ./json-validate
    Valid
    $ echo '{key: "value"}' | ./json-validate
    Invalid
    
  • Kurallar:

    • JSON ayrıştırma kitaplığı kullanmayın.
    • Kısmen doğru çözümlere izin verilir, ancak kaşlarını çatır.
    • Test paketi puanınızı gönderin (aşağıya bakın).

En kısa doğru çözüm kazanır.

Lütfen programınızda json-validate-test-suite.sh dosyasını çalıştırın ve puanınızı gönderin. Misal:

$ ./json-validate-test-suite.sh ./buggy-prog
fail: should be invalid:  [ 0.1e ] 
fail: should be invalid:  [ 0.1e+-1 ] 
fail: should be invalid:  [ 0.1e-+1 ] 
score: 297/300

Kaynaklar:

  • json.org - Kolay takip edilen resimlerle JSON dilbilgisinin kısa tanımı.
  • RFC 4627 - JSON teknik özellikleri
  • json-validate.c - Test paketini geçen 200 satırlık bir uygulama.

JSON dilbilgisi aşağıdaki gibidir:

json: object | array

object: '{' members? '}'
    members: pair (',' pair)*
    pair:    string ':' value

array: '[' elements? ']'
    elements: value (',' value)*

value: string
     | number
     | object
     | array
     | 'true'
     | 'false'
     | 'null'

string: '"' char* '"'
    char: [^"\\\x00-\x1F]
        | '\' escape
    escape: ["\\/bfnrt]
          | u [0-9A-Fa-f]{4}

number: '-'? (0 | [1-9][0-9]*) ('.' [0-9]+)? ([Ee] [+-]? [0-9]+)?

Ayrıca, boşluk altı yapısal karakterden herhangi birinden önce veya sonra görünebilir {}[]:,

ws = [\t\n\r ]*

Aşağıdakileri aklınızda bulundurun:

  • Gibi işlevlere dikkat edin isspace(). JSON'daki boşluk [\t\n\r ], aynı isspace()zamanda \v(dikey sekme) ve \f(form besleme) boşluk olarak kabul edilir. Kelimenin sadece daha fazlasını kabulisdigit() edebilmesine rağmen , girişin ASCII'de olduğunu varsaydığımız için burada kullanmak uygun olmalıdır.[0-9]
  • \x7Fteknik olarak bir kontrol karakteridir, ancak JSON RFC bundan bahsetmez (sadece bahseder [\x00-\x1F]) ve çoğu JSON ayrıştırıcısı \x7Fdizelerdeki karakterleri kabul etme eğilimindedir . Bu belirsizlik nedeniyle, çözümler ya kabul etmeyi ya da etmemeyi tercih edebilir.

7
"Kısmen doğru çözümlere izin verildi" notunuz bana genetik algoritmadan normal ifade almayı hayal ediyor. Deli olmalıyım.
JB

@JB: Harika olurdu.
Joey Adams

Sadece merak ediyorum, neden {key: "value"}geçersiz JSON düşünülüyor? Geçerli bir javascripttir.
HoLyVieR

@HoLyVieR: JSON'un ayrıştırılması daha kolay ve uygulayıcılar için daha az belirsiz olacağını düşünüyorum. Ben de bu kısıtlamayı sevdiğimden emin değilim.
Joey Adams

Doğrulayıcı komut dosyasının bir kopyası olan var mı?
Armand

Yanıtlar:


7

PHP: 297 285 264 253 karakter

<?=preg_match(<<<'R'
~([\h
]*)({(?1)((("([^"\\\0- ]| |\\(["\\/bfnrt]|u[\dA-Fa-f]{4}))*")(?1):(?1)((?5)|-?(0|[1-9]\d*)(\.\d+)?([Ee][+-]?\d+)?|(?2)|true|false|null))(((?1),(?1))(?4))*)?}|\[(?1)((?8)((?13)(?8))*)?(?1)])(?1)\z~A
R
,`cat`)?'Valid':'Invalid';

puan: 300/300

Bu JSON dilbilgisinin tam, özyinelemeli bir uygulamasıdır.

Bu nedeniyle PHP ≥ 5.3 üzerinde çalışır Yorumlu metin heredoc çift All gerekli olacaktı (sözdizimi\ ).

Okunabilir sürüm:

(bu, adlandırılmış yakalama grupları ve genişletilmiş sözdizimiyle aynı normal ifadedir):

#!/usr/bin/env php
<?php

$re = <<< 'RE'
~\A (?P<ws>[\t\n\r ])* (
    (?P<object>\{ (?P>ws)*
        (?P<members>
            (?P<pair>
                (?P<string>
                    "(?P<char>
                        [^"\\\x00-\x1F]
                        |\\(?P<escape>
                            ["\\/bfnrt]
                            |u [0-9A-Fa-f]{4}
                        )
                    )*"
                ) (?P>ws)* : (?P>ws)* (?P<value>
                    (?P>string)
                    | (?P<number>-? (0 | [1-9][0-9]*) (\. [0-9]+)? ([Ee] [+-]? [0-9]+)? )
                    | (?P>object)
                    | (?P>array)
                    | true
                    | false
                    | null
                )
            ) ( (?P>ws)* , (?P>ws)* (?P>pair) )*
        )?
    \})
    |(?P<array>\[ (?P>ws)*
        (?P<elements>
            (?P>value) ( (?P>ws)* , (?P>ws)* (?P>value) )*
        )?
    (?P>ws)* \])
) (?P>ws)* \z~x
RE;

if (preg_match($re, stream_get_contents(STDIN))) {
    echo 'Valid';
} else {
    echo 'Invalid';
}

Vay. `` `` ``
Nathan Osman

<?phpIMO'yu eklemeniz gerekir .
anonim korkak

Katma. 264 karakter şimdi :-)
Arnaud Le Blanc

5

Python - 340 314 299 292 karakter

import re,os
r=x=re.sub
z=r('0\.0+','0',r('e[+-]?0+|[\t\n\r]',' ',r(r'"(\\["nrtb\\/]|[^\\"\0-\37])*"','1',r(r'true|false|null|\\u\w{4}|[1-9]\d*','0',os.read(0,99)))))
while z!=x:z,x=r('\{(1:\d)?(,\\1)*\}|\[(-?\d(,-?\d)*)?\]','0',r(' *([][{}:,]) *','\\1',z)),z
print['Inv','V'][z=='0']+'alid'

Puan

$ ./json-validate-test-suite.sh ./codegolf-474.py
score: 300/300

3

Scala - 390 karakter

import scala.util.parsing.combinator.JavaTokenParsers
object J extends JavaTokenParsers{def j=o|a
def o:Parser[Any]="{"~repsep(p,",")~"}"
def p=s~":"~v
def a:Parser[Any]="["~repsep(v,",")~"]"
def v=s|o|a|"true"|"false"|"null"
def s=stringLiteral
def n=floatingPointNumber}
object Main{def main(a:Array[String]){print(if(J.parseAll(J.j,readLine()).successful)"Valid"else"Invalid")}}

Bu ayrıştırıcı birleştiriciler kullanarak beyinsiz bir çözümdür. Kelimenin tam anlamıyla 1 veya 2 dakika içinde yazılır. Doğrulayıcı komut dosyası alınamıyor, tarayıcı sunucunun bulunamadığını söyledi.


ilginç bir çözüm gibi görünüyor; doğrulayıcı bağlantısı düzeltildi.
Armand

Windows'da yapmanın basit bir yolu var mı? (cygwin veya benzeri sapkınlık olmadan)
Görünen Ad
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.