Viết một chương trình, theo kịch bản có truy cập internet hay không, tạo ra một đầu ra là "Truthy / Falsey" . Bạn có thể thử và kết nối với bất kỳ trang web hiện có nào, theo ý riêng của bạn (không sử dụng trang web mờ ám chỉ có 10% thời gian hoạt động - hãy cố gắng duy trì trên 80% thời gian hoạt động hàng năm). Nếu trang web bị sập, chương trình của bạn không phải hoạt động.

Nó phải là một chương trình độc lập hoặc một chức năng . Bạn có thể sử dụng các thư viện bên ngoài thư viện tiêu chuẩn để đạt được điều này. Sơ hở tiêu chuẩn bị cấm. Đây là mã golf, vì vậy mã có số byte ngắn nhất sẽ thắng.

Mã giả ví dụ:

function a:
    try:
        connect to internet 
        return 1
    catch error:
        return 0

Đây là bài viết đầu tiên của tôi về mã golf, vì vậy nếu điều này vi phạm bất kỳ quy tắc nào hoặc là một bản sao, xin vui lòng cảnh báo tôi.

EDIT: Do nhiều đề xuất, tôi đã loại bỏ hạn chế số lượng byte UTF-8

Bash (với dnsutils ), 3 byte

Gửi yêu cầu DNS cho "." (Root DNS), mã thoát là 0 để thành công và> 0 nếu không.

Chơi gôn

dig

Kiểm tra

% dig >/dev/null; echo $?;        
0

% nmcli nm wifi off
% dig >/dev/null; echo $?;
9

Khước từ

Điều này rõ ràng sẽ chỉ hoạt động nếu máy chủ DNS của bạn đang ngồi trong mạng của nhà cung cấp, tức là trong "Internet" (vì mạng nhà cung cấp của bạn thường là một phần của nó) hoặc nếu hệ thống của bạn đang sử dụng máy chủ DNS công cộng (như 8.8.8.8 từ Google, hệ thống dựa trên Android sử dụng), nếu không, bạn có thể nhận được một bản sao được lưu trong bộ nhớ cache từ máy chủ LAN cục bộ (hoặc localhost).

Nhưng tôi cho rằng điều này không trái với quy tắc chơi gôn , vì rõ ràng có nhiều hơn một hệ thống mà điều này hoạt động như dự định.

Các phương thức Pure-HTTP cũng có thể đưa ra các kết quả dương tính giả, do một proxy lưu trữ trung gian và không được bảo đảm để hoạt động ở mọi nơi, do đó không phải là một cái gì đó duy nhất cho phương thức này.

Một phiên bản đáng tin cậy hơn một chút, 8 byte

dig +tra

(một chút tưởng nhớ đến @ Dig ital Tra uma!)

Bật "chế độ theo dõi", điều này sẽ buộc đào tự thực hiện tìm kiếm đệ quy (xem https://serverfault.com/a/778830 ), tránh mọi vấn đề về bộ đệm.

Đồ dùng Bash + GNU, 8

• 5 byte được lưu nhờ @Muzer.

wget to.

Các câu trả lời shell khác kiểm tra mã trả về và lặp lại một số trạng thái đầu ra tương ứng. Điều này là không cần thiết. Mã trả về shell đã là mã Truthy / Falsey có thể sử dụng và có thể truy cập được trong $?tham số này là thành ngữ cho bash. Trả về mã 0 có nghĩa là Đúng. Trả về mã> 0 có nghĩa là Sai.

Đang sử dụng:

ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:10:51--  http://to./
Resolving to. (to.)... 216.74.32.107, 216.74.32.107
Connecting to to. (to.)|216.74.32.107|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 11510 (11K) [text/html]
Saving to: ‘index.html.6’

index.html.6        100%[===================>]  11.24K  --.-KB/s    in 0.04s   

2017-01-13 09:10:51 (285 KB/s) - ‘index.html.6’ saved [11510/11510]

ubuntu@ubuntu:~$ echo $?
0
ubuntu@ubuntu:~$ sudo ifconfig ens33 down
ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:11:00--  http://to./
Resolving to. (to.)... failed: Temporary failure in name resolution.
wget: unable to resolve host address ‘to.’
ubuntu@ubuntu:~$ echo $?
4
ubuntu@ubuntu:~$ sudo ifconfig ens33 up
ubuntu@ubuntu:~$ # Local network up, upstream link down
ubuntu@ubuntu:~$ wget to.
--2017-01-13 09:11:34--  http://to./
Resolving to. (to.)... failed: Name or service not known.
wget: unable to resolve host address ‘to.’
ubuntu@ubuntu:~$ echo $?
4
ubuntu@ubuntu:~$ 

Mẻ, 8 byte

ping to.

pingsẽ được đặt ERRORLEVELthành 1nếu địa chỉ không thể được giải quyết hoặc đạt được.

05AB1E , 11 9 byte

Đã lưu 2 byte trên "đến." lịch sự của ev3commander

…to..wgX›

Kiểm tra xem độ dài của nội dung tại http: // đến . lớn hơn 1.
.wtrả về 0 khi lỗi.

MATL , 15 14 byte

Một byte được lưu nhờ đề xuất của Kevin Cruijssen

'http://to.'Xi

Đầu ra là thông qua STDOUT. Điều này sẽ hiển thị một chuỗi không trống chứa các ký tự khác không (là sự thật) nếu có kết nối Internet; và hiển thị không có gì (đó là giả) nếu không có kết nối.

Điều này không thể được kiểm tra trực tuyến vì Xikhông được phép trong các thông dịch viên trực tuyến.

Giải trình

'http://to.'  % Push this string
Xi            % Return contents of that URL as a string. If there is no Internet
              % connection this gives an error, with no output on STDOUT

Bash 66 62 21 byte

ping -c1 g.gl echo $?

Cảm ơn @Alex L. về mẹo rút ngắn URL.

Phiên bản bị đánh cắp:

r=$(ping -c1 g.gl)
if [ $? -ne 0 ];
 then echo "0"
else echo "1"
fi

Đây là câu trả lời đầu tiên của tôi ở Bash, tôi không chắc mình đã rút ngắn kịch bản đủ chưa.

R, 20 byte

curl::has_internet()

Có một chức năng cho chính xác nhiệm vụ này trong curlgói.

Java, 72 byte

a->new java.net.InetSocketAddress("to.",80).getAddress().isReachable(9);

Perl, 15 byte

print`curl to.`

Chạy với:

perl -e 'print`curl to.`' 2> /dev/null

curlđầu ra thứ STDERR, đừng bận tâm đến chúng. Nếu máy tính có quyền truy cập internet, nó sẽ in một vài dòng html (sự thật), nếu không, nó sẽ không in gì cả (giả mạo).

Đã lưu 1 byte bằng cách sử dụng to.(thay vì trước đây của tôi b.io) nhờ @Kevin Cruijssen.

C #, 87 byte

_=>{try{new System.Net.WebClient().OpenRead("http://g.gl");return 1;}catch{return 0;}};

Nếu một ngoại lệ được coi là falsey, mà tôi không nghĩ là vậy, thì đây là 65 byte:

_=>new System.Net.WebClient().OpenRead("http://g.gl").ReadByte();

Tôi cũng đã thử sử dụng liên kết http://to.như được nêu bởi @KevinCruijssen nhưng dường như nó không hoạt động.

8 , 23 21 byte

Hai byte được lưu nhờ vào đề xuất của Kevin Cruijssen và cho khám phá của tôi:http: // để có vẻ hoạt động tốt nhưhttp: // đến . (lưu một byte khác)

"http://to" net:get .

Nếu trang web http: // để có thể đạt được, thì nó sẽ in true. Nếu không thì nó in false. Nó để lại dữ liệu lấy trên ngăn xếp.

MATLAB, 32 22 byte

urlread('http://g.gl')

Giải trình:

Nếu kết nối internet không hoạt động, điều này sẽ dẫn đến ans(biến mặc định) là một chuỗi có toàn bộ mã html ở dạng văn bản thuần (điều này đúng trong MATLAB).

Nếu kết nối internet bị hỏng, điều này sẽ ghi thông báo lỗi vào STDERR và để trống không gian làm việc ( sai trong MATLAB).

Thật không may, urlreadyêu cầu một địa chỉ url đầy đủ , vì vậy g.glkhông đủ. Do đó, 11 trong số 22 byte chỉ là địa chỉ url.

Cách tiếp cận khác:

Một giải pháp bắt lỗi và để lại 0 (cũng sai ) trong không gian làm việc nếu kết nối không hoạt động:

0;try urlread('http://g.gl'),end

0;khởi tạo biến mặc định ansthành 0, falsetrong MATLAB. Sau đó chúng ta tryđọc url. Điều này sẽ báo lỗi nếu kết nối internet bị hỏng hoặc một mảng ký tự nếu không (nằm truetrong MATLAB).

Chúng tôi không cần phải bắt bất cứ điều gì, vì vậy chúng tôi chỉ cần kết thúc. Nếu cuộc gọi urlread thành công, thì anssẽ là một chuỗi dài với nội dung của trang web, nếu không ans=0.

Bash, 39 byte

exec 4<>/dev/tcp/to./80&&echo 1||echo 0

JavaScript ES6, 71 43 byte

fetch``.then(a=>alert(1)).catch(a=>alert``)

Cảnh báo 1 nếu trực tuyến, cảnh báo một chuỗi trống nếu ngoại tuyến. Cảm ơn Patrick Roberts đã giúp tôi cạo sạch một số byte

Phiên bản cũ

_=>fetch('http://enable-cors.org').then(a=>alert(a)).catch(a=>alert(0))

Cảnh báo [object Reponse]nếu trực tuyến, thông báo 0nếu ngoại tuyến

Đã xóa đoạn mã, nó không hoạt động vì nó tải từ một miền khác không có CORS, nhưng nó hoạt động trong bảng điều khiển trình duyệt

JavaScript ES6, 90 81 byte

f=a=>{i=new Image();i.src="//placehold.it/1x1";i.onload=b=>a(1);i.onerror=c=>a()}

JavaScript ES6, 22 21 byte (Không hợp lệ)

Một số trình duyệt không hỗ trợ đầy đủ hoặc tạo ra kết quả mong đợi khi sử dụng navigator.onLine.

f=a=>navigator.onLine

Scala, 54 byte

x=>(Runtime.getRuntime exec "ping -c 1 ai."waitFor)<1

Khá đơn giản; thực thi lệnh ping đến http://ai./và trả về true nếu nó thoát bằng 0 hoặc sai.

Brainfuck (không cạnh tranh) 21 byte

++++++[>++++++++<-]>.

Brainfuck không thể kết nối với internet (theo như tôi biết), vì vậy chương trình không thể kết nối, nên câu trả lời luôn là 0

Không cạnh tranh vì dường như rơi vào lỗ hổng tiêu chuẩn đầu ra được mã hóa cứng , mặc dù chương trình này về mặt kỹ thuật là chính xác cho thách thức.

Powershell, 64 26 23 byte

Đã lưu 38 byte, nhờ Shawn Esterman

Đã lưu 3 byte và tập lệnh được sửa chữa, nhờ briantist

Test-Connection -q g.gl

PHP, 23 PHP + Curl, 14

Sử dụng toán tử backtick của PHP:

<?=`curl to.`;

Câu trả lời gốc:

Tôi sẽ cố gắng để bắt đầu:

<?=file('http://x.gl');

Điều này không tạo ra kết quả nếu x.gl không thể đạt được và Arraynếu có.

Một phiên bản khác mà tôi không chắc chắn nếu chúng phù hợp:

<?=getmxrr('x.gl',$a);  // 22 chars

Yêu cầu Python 3 +, 59 55 53 byte

Phải có một câu trả lời yêu cầu, phải không?

from requests import*
try:get("http://to.")
except:Z

Trạng thái thoát là 0 đối với internet, 1 không có internet. Thí dụ:

$ python inet.py 
$ echo $?
0
$ # Remove ethernet cable
$ python inet.py 
$ echo $?
1

Thay đổi:

• -4 byte (cảm ơn Mego)

Thuốc tiên, 33 byte

{:ok,_}=:inet.getaddr('to',:inet)

0 nếu được kết nối, 1 nếu không.

PowerShell , 12 byte

!!(irm g.gl)

Toán học 10 byte

Giả sử bạn có một bản sao hợp lệ của Mathematica và thông tin đăng nhập trên user.wolfram.com

CloudPut@1

sẽ ghi giá trị 1 lên đám mây. Sự thật: CloudObject [""] Falsey: $ Không thành công

CloudGet@%

Sẽ trả về giá trị 1 đã được tải lên đám mây.

Python 2.7, 70 77 byte

from urllib import*
a=1
try:urlopen('http://to.')
except:a=0
print a

import urllib as l
try: 
 l.urlopen('http://a.uk')
 print 1
except:
 print 0

Sử dụng 1 cho sự thật, 0 cho giả. a.uk chuyển hướng đến một công ty quần áo xe máy. Đã lưu 3 byte bằng cách gán cho một biến và in nó. Và một số khác cho "đến." lừa (xác nhận để làm việc với urllib), hai để thoát khỏi các vết lõm pesky.

Julia + Bash (với dnsutils), 10 byte

run(`dig`)

`command`trong julia tạo ra một cmdđối tượng có thể được chạy với run.

Clojure, 49 byte

#(try(slurp"http://to.")1(catch Exception _ nil))

Trả về 1nếu nó có thể kết nối, và nilnếu không.

Chỉ cần cố gắng vào slurptrang; ném một NoRouteToHostExceptionngoại lệ vào thất bại, được bắt.

Thật không may, giao thức và dấu chấm dường như là bắt buộc.

Javascript (Nashorn), 61 byte

print(new java.net.InetSocketAddress("to.",80).getAddress())

Dựa trên câu trả lời Java của Huntro.